From: Andrii Anisov
Pause_flags is not related to vgic spinlock, so reduce code
under lock.
Signed-off-by: Andrii Anisov
---
xen/arch/arm/vgic.c | 13 ++---
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c
index a2419d0..a64633f 10
On 28/11/2018 21:31, Andrii Anisov wrote:
> From: Andrii Anisov
>
> Pause_flags is not related to vgic spinlock, so reduce code
> under lock.
Well technically this code is plain wrong... If you receive an interrupt
routed to a vCPU down, then you will end up losing the interrupt forever.
So
