Symbol: VMCS_GUEST_PDPTE2
sys/arch/amd64/amd64/vmm_machdep.c
1095
if (vmread(VMCS_GUEST_PDPTE2, &crs[VCPU_REGS_PDPTE2]))
sys/arch/amd64/amd64/vmm_machdep.c
1375
if (vmwrite(VMCS_GUEST_PDPTE2, crs[VCPU_REGS_PDPTE2]))
sys/arch/amd64/amd64/vmm_machdep.c
2356
if (vmwrite(VMCS_GUEST_PDPTE2,
sys/arch/amd64/amd64/vmm_machdep.c
5457
if (vmwrite(VMCS_GUEST_PDPTE2, 0)) {
sys/arch/amd64/amd64/vmm_machdep.c
5502
if (vmwrite(VMCS_GUEST_PDPTE2, pdptes[2])) {
sys/arch/amd64/amd64/vmm_machdep.c
7831
vmx_dump_vmcs_field(VMCS_GUEST_PDPTE2, "Guest PDPTE2");