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