ARM: new VGIC: Add GICv2 world switch backend
authorAndre Przywara <andre.przywara@linaro.org>
Wed, 7 Feb 2018 12:33:16 +0000 (12:33 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 28 Mar 2018 17:52:50 +0000 (10:52 -0700)
commitec3e023f12a6bb48b3864abccb5bde9de24e6c75
treedf1f75572f730fadaa7a57f4aa8ce2a0e779565e
parent1e8575e7612f9d7e53f041314444e8979d4e4d7b
ARM: new VGIC: Add GICv2 world switch backend

Processing maintenance interrupts and accessing the list registers
are dependent on the host's GIC version.
Introduce vgic-v2.c to contain GICv2 specific functions.
Implement the GICv2 specific code for syncing the emulation state
into the VGIC registers.
This also adds the hook to let Xen setup the host GIC addresses.

This is based on Linux commit 140b086dd197, written by Marc Zyngier.

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-v2.c [new file with mode: 0644]
xen/arch/arm/vgic/vgic.c
xen/arch/arm/vgic/vgic.h