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

/vbox/include/VBox/vmm/
H A Dhm_vmx.h1264 #define VMX_VMCS64_GUEST_PDPTE1_FULL 0x280C macro
/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp3975 rc = VMXWriteVmcs64(VMX_VMCS64_GUEST_PDPTE1_FULL, pVCpu->hm.s.aPdpes[1].u); AssertRCReturn(rc, rc);
5442 VMXLOCAL_INIT_READ_CACHE_FIELD(pCache, VMX_VMCS64_GUEST_PDPTE1_FULL);
5511 case VMX_VMCS64_GUEST_PDPTE1_FULL:
6406 rc = VMXReadVmcs64(VMX_VMCS64_GUEST_PDPTE1_FULL, &pVCpu->hm.s.aPdpes[1].u); AssertRCReturn(rc, rc);
10003 rc = VMXReadVmcs64(VMX_VMCS64_GUEST_PDPTE1_FULL, &u64Val);

Completed in 86 milliseconds