On 16/11/2017 19:36, Liran Alon wrote: > BTW, I was wondering why do we really need the vmx->nested.pi_pending. > Can't we just rely on vmx->nested.pi_desc ON bit that will be checked at > start of vmx_complete_nested_posted_interrupt()? Probably not, the ON bit should be enough. Paolo
