tree a279e574dfee0728062122f33ef5b7fa90e8638f
parent 112b0b8f8f6e18d4695d21457961c0e1b322a1d7
author Shih-Wei Li <shihwei@cs.columbia.edu> 1477580893 +0000
committer Marc Zyngier <marc.zyngier@arm.com> 1478282216 +0000

KVM: arm/arm64: vgic: Kick VCPUs when queueing already pending IRQs

In cases like IPI, we could be queueing an interrupt for a VCPU
that is already running and is not about to exit, because the
VCPU has entered the VM with the interrupt pending and would
not trap on EOI'ing that interrupt. This could result to delays
in interrupt deliveries or even loss of interrupts.
To guarantee prompt interrupt injection, here we have to try to
kick the VCPU.

Signed-off-by: Shih-Wei Li <shihwei@cs.columbia.edu>
Reviewed-by: Christoffer Dall <christoffer.dall@linaro.org>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>