Symbol: VCPU_REGS_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
2363
vrs->vrs_crs[VCPU_REGS_PDPTE3])) {
sys/arch/amd64/include/vmmvar.h
414
#define VCPU_REGS_NCRS (VCPU_REGS_PDPTE3 + 1)
usr.sbin/vmd/x86_vm.c
85
.vrs_crs[VCPU_REGS_PDPTE3] = 0ULL,