ARM: new VGIC: Add event channel IRQ handling
authorAndre Przywara <andre.przywara@linaro.org>
Wed, 7 Feb 2018 13:56:57 +0000 (13:56 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 28 Mar 2018 18:20:34 +0000 (11:20 -0700)
commit5baec9af20bd7e077a3d96c61b298593c3717eac
treedc1d2f3629200d4537a1c4695f25b1c461a1b436
parent1ebe775187c89ea1700f23dedb180af42ca473e2
ARM: new VGIC: Add event channel IRQ handling

The Xen core/arch code relies on two abstracted functions to inject an
event channel IRQ and to query its pending state.
Implement those to query the state of the new VGIC implementation.

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