Symbol: PAGING_MODE_64
usr/src/cmd/bhyve/common/gdb.c
254
paging->paging_mode = PAGING_MODE_64;
usr/src/uts/intel/io/vmm/amd/svm.c
534
return (PAGING_MODE_64);
usr/src/uts/intel/io/vmm/intel/vmx.c
1804
return (PAGING_MODE_64);