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

/vbox/include/VBox/vmm/
H A Dhm_vmx.h1268 #define VMX_VMCS64_GUEST_PDPTE3_FULL 0x2810 macro
/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp3977 rc = VMXWriteVmcs64(VMX_VMCS64_GUEST_PDPTE3_FULL, pVCpu->hm.s.aPdpes[3].u); AssertRCReturn(rc, rc);
5444 VMXLOCAL_INIT_READ_CACHE_FIELD(pCache, VMX_VMCS64_GUEST_PDPTE3_FULL);
5513 case VMX_VMCS64_GUEST_PDPTE3_FULL:
6408 rc = VMXReadVmcs64(VMX_VMCS64_GUEST_PDPTE3_FULL, &pVCpu->hm.s.aPdpes[3].u); AssertRCReturn(rc, rc);
10011 rc = VMXReadVmcs64(VMX_VMCS64_GUEST_PDPTE3_FULL, &u64Val);

Completed in 86 milliseconds