vpid02            245 arch/x86/kvm/vmx/nested.c 	free_vpid(vmx->nested.vpid02);
vpid02           1038 arch/x86/kvm/vmx/nested.c 	       (nested_cpu_has_vpid(vmcs12) && to_vmx(vcpu)->nested.vpid02);
vpid02           1045 arch/x86/kvm/vmx/nested.c 	return vmx->nested.vpid02 ? vmx->nested.vpid02 : vmx->vpid;
vpid02           2037 arch/x86/kvm/vmx/nested.c 		if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02)
vpid02           2038 arch/x86/kvm/vmx/nested.c 			vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02);
vpid02           4399 arch/x86/kvm/vmx/nested.c 	vmx->nested.vpid02 = allocate_vpid();
vpid02           4969 arch/x86/kvm/vmx/nested.c 	u16 vpid02;
vpid02           5005 arch/x86/kvm/vmx/nested.c 	vpid02 = nested_get_vpid02(vcpu);
vpid02           5014 arch/x86/kvm/vmx/nested.c 				vpid02, operand.gla);
vpid02           5016 arch/x86/kvm/vmx/nested.c 			__vmx_flush_tlb(vcpu, vpid02, false);
vpid02           5023 arch/x86/kvm/vmx/nested.c 		__vmx_flush_tlb(vcpu, vpid02, false);
vpid02           5026 arch/x86/kvm/vmx/nested.c 		__vmx_flush_tlb(vcpu, vpid02, false);
vpid02            170 arch/x86/kvm/vmx/vmx.h 	u16 vpid02;