Searched refs:vpid02 (Results 1 – 1 of 1) sorted by relevance
861 u16 vpid02; member8293 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()[all …]
