ARM: new VGIC: Dump virtual IRQ info
authorAndre Przywara <andre.przywara@linaro.org>
Thu, 8 Feb 2018 12:24:21 +0000 (12:24 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 28 Mar 2018 18:21:13 +0000 (11:21 -0700)
commit8228c005ecd2947b345057bfd5f51a45d0fafc16
tree977a42190196d63afccf8f924ba578b5e2fef00e
parentfac8124ec1cb2ae433c2fc8d1a9b8ee326e3bea6
ARM: new VGIC: Dump virtual IRQ info

When we dump guest state on the Xen console, we also print the state of
IRQs that are on a VCPU.
Add the code to dump the state of an IRQ handled by the new VGIC.

Signed-off-by: Andre Przywara <andre.przywara@linaro.org>
Acked-by: Julien Grall <julien.grall@arm.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/vgic/vgic.c