I'm wondering if this race condition is possible, where guest may receive some interrupt after disable_irq() for that interrupt has completed. Considering couple vCPUs on different cores - 1.vCPU0 has the pending bit set for some IRQ while holding dist->lock - injected from QEMU (kvm_vgic_irq_line()) 2. KVM while holding dist->lock for vCPU0 programs the LR and is ready to resume Guest - after __kvm_vgic_flush_hwstate() 3. Before vCPU0 enters Guest mode, Guest on vCPU1 disables that IRQ, with dist->lock held - handle_mmio_clear_enable_reg() 4. It appears possible for vCPU1 to re-enter Guest mode before vCPU0. - Mario _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
