On Tue, May 22, 2018 at 7:16 AM, Liran Alon <liran.alon@xxxxxxxxxx> wrote: > When vmcs12 uses VPID, all TLB entries populated by L2 are tagged with > vmx->nested.vpid02. Currently, INVVPID executed by L1 is emulated by L0 > by using INVVPID single/global-context to flush all TLB entries > tagged with vmx->nested.vpid02 regardless of INVVPID type executed by > L1. > > However, we can easily optimize the case of L1 INVVPID on an > individual-address. Just INVVPID given individual-address tagged with > vmx->nested.vpid02. > > Reviewed-by: Liam Merwick <liam.merwick@xxxxxxxxxx> > Signed-off-by: Liran Alon <liran.alon@xxxxxxxxxx> Reviewed-by: Jim Mattson <jmattson@xxxxxxxxxx>