Symbol: VM_REG_GUEST_PDPTE2
usr/src/cmd/bhyve/amd64/task_switch.c
538
SETREG(vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]);
usr/src/lib/libvmm/libvmm.c
482
VM_REG_GUEST_PDPTE2, /* VMM_REG_PDPTE2 */
usr/src/uts/intel/io/vmm/amd/svm.c
2171
case VM_REG_GUEST_PDPTE2:
usr/src/uts/intel/io/vmm/amd/svm.c
2261
case VM_REG_GUEST_PDPTE2:
usr/src/uts/intel/io/vmm/intel/vmcs.c
98
case VM_REG_GUEST_PDPTE2: