Symbol: VM_REG_GUEST_PDPTE3
usr/src/cmd/bhyve/amd64/task_switch.c
539
SETREG(vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]);
usr/src/lib/libvmm/libvmm.c
483
VM_REG_GUEST_PDPTE3, /* VMM_REG_PDPTE3 */
usr/src/uts/intel/io/vmm/amd/svm.c
2172
case VM_REG_GUEST_PDPTE3:
usr/src/uts/intel/io/vmm/amd/svm.c
2262
case VM_REG_GUEST_PDPTE3:
usr/src/uts/intel/io/vmm/intel/vmcs.c
100
case VM_REG_GUEST_PDPTE3: