Searched refs:vpid02 (Results 1 – 4 of 4) sorted by relevance
67 return vmx->nested.vpid02 ? vmx->nested.vpid02 : vmx->vpid; in nested_get_vpid02()
309 free_vpid(vmx->nested.vpid02); in free_nested()1127 (nested_cpu_has_vpid(vmcs12) && to_vmx(vcpu)->nested.vpid02); in nested_has_guest_tlb_tag()2226 if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02) in prepare_vmcs02_early_rare()2227 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02); in prepare_vmcs02_early_rare()5107 vmx->nested.vpid02 = allocate_vpid(); in enter_vmx_operation()5749 u16 vpid02; in handle_invvpid() local5787 vpid02 = nested_get_vpid02(vcpu); in handle_invvpid()5794 vpid_sync_vcpu_addr(vpid02, operand.gla); in handle_invvpid()5801 vpid_sync_context(vpid02); in handle_invvpid()5804 vpid_sync_context(vpid02); in handle_invvpid()
243 u16 vpid02; member
3177 vpid_sync_vcpu_single(vmx->nested.vpid02); in vmx_flush_tlb_all()
Completed in 31 milliseconds