Symbol: VM_REG_GUEST_PDPTE1
usr/src/cmd/bhyve/amd64/task_switch.c
537
SETREG(vcpu, VM_REG_GUEST_PDPTE1, pdpte[1]);
usr/src/lib/libvmm/libvmm.c
481
VM_REG_GUEST_PDPTE1, /* VMM_REG_PDPTE1 */
usr/src/uts/intel/io/vmm/amd/svm.c
2170
case VM_REG_GUEST_PDPTE1:
usr/src/uts/intel/io/vmm/amd/svm.c
2260
case VM_REG_GUEST_PDPTE1:
usr/src/uts/intel/io/vmm/intel/vmcs.c
96
case VM_REG_GUEST_PDPTE1: