trace.h

vgic-debug.c

vgic-init.c

vgic-irqfd.c

vgic-its.c

vgic-kvm-device.c

vgic-mmio-v2.c

vgic-mmio-v3.c

vgic-mmio.c

vgic-mmio.h

vgic-v2.c

vgic-v3.c

vgic-v4.c

vgic.c

vgic.h