On 20/03/20 22:28, Sean Christopherson wrote: > Add a separate "skip" override for MMU sync, a future change to avoid > TLB flushes on nested VMX transitions may need to sync the MMU even if > the TLB flush is unnecessary. > > Suggested-by: Paolo Bonzini <pbonzini@xxxxxxxxxx> > Signed-off-by: Sean Christopherson <sean.j.christopherson@xxxxxxxxx> I added a WARN_ON(skip_tlb_flush && !skip_mmu_sync); which could help catching misordered parameters. Paolo