Symbol: VCPU_REGS_PDPTE0
sys/arch/amd64/amd64/vmm_machdep.c
1091
if (vmread(VMCS_GUEST_PDPTE0, &crs[VCPU_REGS_PDPTE0]))
sys/arch/amd64/amd64/vmm_machdep.c
1371
if (vmwrite(VMCS_GUEST_PDPTE0, crs[VCPU_REGS_PDPTE0]))
sys/arch/amd64/amd64/vmm_machdep.c
2345
vrs->vrs_crs[VCPU_REGS_PDPTE0])) {
usr.sbin/vmd/x86_vm.c
82
.vrs_crs[VCPU_REGS_PDPTE0] = 0ULL,