Symbol: VMCS_GUEST_PDPTE0
sys/arch/amd64/amd64/vmm_machdep.c
1091
if (vmread(VMCS_GUEST_PDPTE0, &crs[VCPU_REGS_PDPTE0]))
sys/arch/amd64/amd64/vmm_machdep.c
1371
if (vmwrite(VMCS_GUEST_PDPTE0, crs[VCPU_REGS_PDPTE0]))
sys/arch/amd64/amd64/vmm_machdep.c
2344
if (vmwrite(VMCS_GUEST_PDPTE0,
sys/arch/amd64/amd64/vmm_machdep.c
5447
if (vmwrite(VMCS_GUEST_PDPTE0, 0)) {
sys/arch/amd64/amd64/vmm_machdep.c
5490
if (vmwrite(VMCS_GUEST_PDPTE0, pdptes[0])) {
sys/arch/amd64/amd64/vmm_machdep.c
7827
vmx_dump_vmcs_field(VMCS_GUEST_PDPTE0, "Guest PDPTE0");