Symbol: VMCS_GUEST_PDPTE1
sys/arch/amd64/amd64/vmm_machdep.c
1093
if (vmread(VMCS_GUEST_PDPTE1, &crs[VCPU_REGS_PDPTE1]))
sys/arch/amd64/amd64/vmm_machdep.c
1373
if (vmwrite(VMCS_GUEST_PDPTE1, crs[VCPU_REGS_PDPTE1]))
sys/arch/amd64/amd64/vmm_machdep.c
2350
if (vmwrite(VMCS_GUEST_PDPTE1,
sys/arch/amd64/amd64/vmm_machdep.c
5452
if (vmwrite(VMCS_GUEST_PDPTE1, 0)) {
sys/arch/amd64/amd64/vmm_machdep.c
5496
if (vmwrite(VMCS_GUEST_PDPTE1, pdptes[1])) {
sys/arch/amd64/amd64/vmm_machdep.c
7829
vmx_dump_vmcs_field(VMCS_GUEST_PDPTE1, "Guest PDPTE1");