Symbol: VM_REG_GUEST_PDPTE0
usr/src/cmd/bhyve/amd64/task_switch.c
536
SETREG(vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]);
usr/src/lib/libvmm/libvmm.c
480
VM_REG_GUEST_PDPTE0, /* VMM_REG_PDPTE0 */
usr/src/uts/intel/io/vmm/amd/svm.c
2169
case VM_REG_GUEST_PDPTE0:
usr/src/uts/intel/io/vmm/amd/svm.c
2259
case VM_REG_GUEST_PDPTE0:
usr/src/uts/intel/io/vmm/intel/vmcs.c
94
case VM_REG_GUEST_PDPTE0: