Re: [PATCH v1 0/1] hw/intc/arm_gic: Fix deactivation of SPI lines

2024-06-07 Thread Peter Maydell
On Wed, 5 Jun 2024 at 15:43, Edgar E. Iglesias wrote: > > From: "Edgar E. Iglesias" > > Julien reported that he has seen strange behaviour when running > Xen on QEMU using GICv2. When Xen migrates a guest's vCPU to > another pCPU while the vCPU is handling an interrupt the guest > is unable to pr

[PATCH v1 0/1] hw/intc/arm_gic: Fix deactivation of SPI lines

2024-06-05 Thread Edgar E. Iglesias
From: "Edgar E. Iglesias" Julien reported that he has seen strange behaviour when running Xen on QEMU using GICv2. When Xen migrates a guest's vCPU to another pCPU while the vCPU is handling an interrupt the guest is unable to properly deactivate interrupts. It sounds like something rare but in