Searched refs:VMX_VMCS64_GUEST_PDPTE2_FULL (Results 1 - 2 of 2) sorted by relevance

/vbox/include/VBox/vmm/
H A Dhm_vmx.h1266 #define VMX_VMCS64_GUEST_PDPTE2_FULL 0x280E macro
/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp3976 rc = VMXWriteVmcs64(VMX_VMCS64_GUEST_PDPTE2_FULL, pVCpu->hm.s.aPdpes[2].u); AssertRCReturn(rc, rc);
5443 VMXLOCAL_INIT_READ_CACHE_FIELD(pCache, VMX_VMCS64_GUEST_PDPTE2_FULL);
5512 case VMX_VMCS64_GUEST_PDPTE2_FULL:
6407 rc = VMXReadVmcs64(VMX_VMCS64_GUEST_PDPTE2_FULL, &pVCpu->hm.s.aPdpes[2].u); AssertRCReturn(rc, rc);
10007 rc = VMXReadVmcs64(VMX_VMCS64_GUEST_PDPTE2_FULL, &u64Val);

Completed in 87 milliseconds