@@ -20,7 +20,6 @@
#include <linux/interrupt.h>
#include <linux/kvm_host.h>
#include <linux/seq_file.h>
-#include <linux/uaccess.h>
#include <kvm/arm_vgic.h>
#include <asm/kvm_mmu.h>
#include "vgic.h"
@@ -147,8 +146,8 @@ static void print_dist_state(struct seq_file *s, struct vgic_dist *dist)
seq_printf(s, "enabled:\t%d\n", dist->enabled);
seq_printf(s, "\n");
- seq_printf(s, "P=pending, L=line_level, S=soft_pending, A=active\n");
- seq_printf(s, "E=enabled, H=hw, L=config_level\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");
}
static void print_header(struct seq_file *s, struct vgic_irq *irq,
@@ -184,10 +183,10 @@ static void print_irq_state(struct seq_file *s, struct vgic_irq *irq,
seq_printf(s, " %s %4d "
" %2d "
"%d%d%d%d%d%d "
+ "%8d "
"%8x "
- "%8x "
- " %2x "
" %2x "
+ "%3d "
" %2d "
"\n",
type, irq->intid,