Lines Matching refs:vpid02
861 u16 vpid02; member
8293 vmx->nested.vpid02 = allocate_vpid(); in enter_vmx_operation()
8459 free_vpid(vmx->nested.vpid02); in free_nested()
9069 vmx->nested.vpid02) { in handle_invvpid()
9071 vmx->nested.vpid02, operand.gla); in handle_invvpid()
9073 __vmx_flush_tlb(vcpu, vmx->nested.vpid02, true); in handle_invvpid()
9082 __vmx_flush_tlb(vcpu, vmx->nested.vpid02, true); in handle_invvpid()
9085 __vmx_flush_tlb(vcpu, vmx->nested.vpid02, true); in handle_invvpid()
12071 if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02) in prepare_vmcs02_full()
12072 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02); in prepare_vmcs02_full()
12291 if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02) { in prepare_vmcs02()
12294 __vmx_flush_tlb(vcpu, vmx->nested.vpid02, true); in prepare_vmcs02()
13197 !(nested_cpu_has_vpid(vmcs12) && to_vmx(vcpu)->nested.vpid02)) { in load_vmcs12_host_state()