Symbol: VMCS_GUEST_PDPTE3
sys/arch/amd64/amd64/vmm_machdep.c
1097
if (vmread(VMCS_GUEST_PDPTE3, &crs[VCPU_REGS_PDPTE3]))
sys/arch/amd64/amd64/vmm_machdep.c
1377
if (vmwrite(VMCS_GUEST_PDPTE3, crs[VCPU_REGS_PDPTE3]))
sys/arch/amd64/amd64/vmm_machdep.c
2362
if (vmwrite(VMCS_GUEST_PDPTE3,
sys/arch/amd64/amd64/vmm_machdep.c
5462
if (vmwrite(VMCS_GUEST_PDPTE3, 0)) {
sys/arch/amd64/amd64/vmm_machdep.c
5508
if (vmwrite(VMCS_GUEST_PDPTE3, pdptes[3])) {
sys/arch/amd64/amd64/vmm_machdep.c
7833
vmx_dump_vmcs_field(VMCS_GUEST_PDPTE3, "Guest PDPTE3");