On 27/12/2017 16:54, Paolo Bonzini wrote: > (b) Get rid of pi_pending and instead use virtual LAPIC IRR bit and > process it specially in case vCPU in non-root-mode & posted-interrupts > is active. > (c) Get rid of software simulation of nested posted-interrupts > processing and instead use self-IPI trick to make CPU process it for us. > > What do you think? I guess 2(b) would be done in vmx_hwapic_irr_update? Thanks, Paolo