Lines Matching refs:vpid02
245 free_vpid(vmx->nested.vpid02); in free_nested()
1038 (nested_cpu_has_vpid(vmcs12) && to_vmx(vcpu)->nested.vpid02); in nested_has_guest_tlb_tag()
1045 return vmx->nested.vpid02 ? vmx->nested.vpid02 : vmx->vpid; in nested_get_vpid02()
2036 if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02) in prepare_vmcs02_early_rare()
2037 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02); in prepare_vmcs02_early_rare()
4398 vmx->nested.vpid02 = allocate_vpid(); in enter_vmx_operation()
4974 u16 vpid02; in handle_invvpid() local
5010 vpid02 = nested_get_vpid02(vcpu); in handle_invvpid()
5019 vpid02, operand.gla); in handle_invvpid()
5021 __vmx_flush_tlb(vcpu, vpid02, false); in handle_invvpid()
5028 __vmx_flush_tlb(vcpu, vpid02, false); in handle_invvpid()
5031 __vmx_flush_tlb(vcpu, vpid02, false); in handle_invvpid()