kvm/vmx/nested.c

338 	free_vpid(vmx->nested.vpid02);
1155  * If L1 uses VPID and we allocated a vpid02, TLB entries are tagged
1157  * while L2 entries are tagged with vmx->nested.vpid02).
1164 	       (nested_cpu_has_vpid(vmcs12) && to_vmx(vcpu)->nested.vpid02);
2269 		if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02)
2270 			vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02);
5164 	vmx->nested.vpid02 = allocate_vpid();
5793 	u16 vpid02;
5831 	vpid02 = nested_get_vpid02(vcpu);
5842 		vpid_sync_vcpu_addr(vpid02, operand.gla);
5849 		vpid_sync_context(vpid02);
5852 		vpid_sync_context(vpid02);