irqchip/gic-v3-its: Add VPE scheduling
authorMarc Zyngier <marc.zyngier@arm.com>
Tue, 20 Dec 2016 15:09:31 +0000 (15:09 +0000)
committerMarc Zyngier <marc.zyngier@arm.com>
Thu, 31 Aug 2017 14:31:36 +0000 (15:31 +0100)
commite643d80340363c9d172abfbe437537196cfc1643
treef49fea3645be16a5a281d4492186d5695744ae13
parent3ca63f363f3f8fe457482c53d5c86d83bff21e64
irqchip/gic-v3-its: Add VPE scheduling

When a VPE is scheduled to run, the corresponding redistributor must
be told so, by setting VPROPBASER to the VM's property table, and
VPENDBASER to the vcpu's pending table.

When scheduled out, we preserve the IDAI and PendingLast bits. The
latter is specially important, as it tells the hypervisor that
there are pending interrupts for this vcpu.

Reviewed-by: Eric Auger <eric.auger@redhat.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
drivers/irqchip/irq-gic-v3-its.c
include/linux/irqchip/arm-gic-v3.h