On Thu, Jun 13, 2019 at 07:03:07PM +0200, Paolo Bonzini wrote: > From: Sean Christopherson <[email protected]> > > When switching between vmcs01 and vmcs02, there is no need to update > state tracking for values that aren't tied to any particular VMCS as > the per-vCPU values are already up-to-date (vmx_switch_vmcs() can only > be called when the vCPU is loaded). > > Avoiding the update eliminates a RDMSR, and potentially a RDPKRU and > posted-interrupt updated (cmpxchg64() and more).
Another typo, s/updated/update. > > Signed-off-by: Sean Christopherson <[email protected]> > Signed-off-by: Paolo Bonzini <[email protected]> > ---
