ARM: new VGIC: Implement vgic_vcpu_pending_irq
authorAndre Przywara <andre.przywara@linaro.org>
Wed, 7 Feb 2018 12:37:43 +0000 (12:37 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 28 Mar 2018 17:54:15 +0000 (10:54 -0700)
commit42e969997142641cd007b9b2796533b6c82a3a72
treec2b92ccc1f6029025bb9c7da5da7282c45329061
parentec3e023f12a6bb48b3864abccb5bde9de24e6c75
ARM: new VGIC: Implement vgic_vcpu_pending_irq

Tell Xen whether a particular VCPU has an IRQ that needs handling
in the guest. This is used to decide whether a VCPU is runnable or
if a hypercall should be preempted to let the guest handle the IRQ.

This is based on Linux commit 90eee56c5f90, written by Eric Auger.

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