Lines Matching refs:vpid02
293 free_vpid(vmx->nested.vpid02);
1177 * If L1 uses VPID and we allocated a vpid02, TLB entries are tagged
1179 * while L2 entries are tagged with vmx->nested.vpid02).
1186 (nested_cpu_has_vpid(vmcs12) && to_vmx(vcpu)->nested.vpid02);
1218 * "real" VPID (vpid02), and so needs to be sync'd. There is no direct
1219 * mapping between vpid02 and vpid12, vpid02 is per-vCPU and reused for
2228 if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02)
2229 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02);
4878 vmx->nested.vpid02 = allocate_vpid();
5494 u16 vpid02;
5531 vpid02 = nested_get_vpid02(vcpu);
5538 vpid_sync_vcpu_addr(vpid02, operand.gla);
5545 vpid_sync_context(vpid02);
5548 vpid_sync_context(vpid02);