Symbol: VCPU_REGS_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
2351
vrs->vrs_crs[VCPU_REGS_PDPTE1])) {
usr.sbin/vmd/x86_vm.c
83
.vrs_crs[VCPU_REGS_PDPTE1] = 0ULL,