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

/vbox/include/VBox/vmm/
H A Dhm_vmx.h1262 #define VMX_VMCS64_GUEST_PDPTE0_FULL 0x280A macro
/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp3974 rc = VMXWriteVmcs64(VMX_VMCS64_GUEST_PDPTE0_FULL, pVCpu->hm.s.aPdpes[0].u); AssertRCReturn(rc, rc);
5441 VMXLOCAL_INIT_READ_CACHE_FIELD(pCache, VMX_VMCS64_GUEST_PDPTE0_FULL);
5510 case VMX_VMCS64_GUEST_PDPTE0_FULL:
6405 rc = VMXReadVmcs64(VMX_VMCS64_GUEST_PDPTE0_FULL, &pVCpu->hm.s.aPdpes[0].u); AssertRCReturn(rc, rc);
9999 rc = VMXReadVmcs64(VMX_VMCS64_GUEST_PDPTE0_FULL, &u64Val);

Completed in 88 milliseconds