On 09/10/21 04:11, Sean Christopherson wrote:
+ * point, which could result in signalling the wrong/previous + * pCPU. But if that happens the vCPU is guaranteed to do a + * VMRUN (after being migrated) and thus will process pending + * interrupts, i.e. a doorbell is not needed (and the spurious)
... one is harmless, I suppose. Paolo