|
@@ -166,6 +166,7 @@ static void print_dist_state(struct seq_file *s, struct vgic_dist *dist)
|
|
|
|
|
|
seq_printf(s, "P=pending_latch, L=line_level, A=active\n");
|
|
seq_printf(s, "P=pending_latch, L=line_level, A=active\n");
|
|
seq_printf(s, "E=enabled, H=hw, C=config (level=1, edge=0)\n");
|
|
seq_printf(s, "E=enabled, H=hw, C=config (level=1, edge=0)\n");
|
|
|
|
+ seq_printf(s, "G=group\n");
|
|
}
|
|
}
|
|
|
|
|
|
static void print_header(struct seq_file *s, struct vgic_irq *irq,
|
|
static void print_header(struct seq_file *s, struct vgic_irq *irq,
|
|
@@ -180,8 +181,8 @@ static void print_header(struct seq_file *s, struct vgic_irq *irq,
|
|
}
|
|
}
|
|
|
|
|
|
seq_printf(s, "\n");
|
|
seq_printf(s, "\n");
|
|
- seq_printf(s, "%s%2d TYP ID TGT_ID PLAEHC HWID TARGET SRC PRI VCPU_ID\n", hdr, id);
|
|
|
|
- seq_printf(s, "---------------------------------------------------------------\n");
|
|
|
|
|
|
+ seq_printf(s, "%s%2d TYP ID TGT_ID PLAEHCG HWID TARGET SRC PRI VCPU_ID\n", hdr, id);
|
|
|
|
+ seq_printf(s, "----------------------------------------------------------------\n");
|
|
}
|
|
}
|
|
|
|
|
|
static void print_irq_state(struct seq_file *s, struct vgic_irq *irq,
|
|
static void print_irq_state(struct seq_file *s, struct vgic_irq *irq,
|
|
@@ -202,7 +203,7 @@ static void print_irq_state(struct seq_file *s, struct vgic_irq *irq,
|
|
|
|
|
|
seq_printf(s, " %s %4d "
|
|
seq_printf(s, " %s %4d "
|
|
" %2d "
|
|
" %2d "
|
|
- "%d%d%d%d%d%d "
|
|
|
|
|
|
+ "%d%d%d%d%d%d%d "
|
|
"%8d "
|
|
"%8d "
|
|
"%8x "
|
|
"%8x "
|
|
" %2x "
|
|
" %2x "
|
|
@@ -217,6 +218,7 @@ static void print_irq_state(struct seq_file *s, struct vgic_irq *irq,
|
|
irq->enabled,
|
|
irq->enabled,
|
|
irq->hw,
|
|
irq->hw,
|
|
irq->config == VGIC_CONFIG_LEVEL,
|
|
irq->config == VGIC_CONFIG_LEVEL,
|
|
|
|
+ irq->group,
|
|
irq->hwintid,
|
|
irq->hwintid,
|
|
irq->mpidr,
|
|
irq->mpidr,
|
|
irq->source,
|
|
irq->source,
|