Symbol: PAGING_MODE_64
sys/amd64/vmm/amd/svm.c
729
return (PAGING_MODE_64);
sys/amd64/vmm/intel/vmx.c
2005
return (PAGING_MODE_64);
usr.sbin/bhyve/gdb.c
320
PAGING_MODE_64_LA57 : PAGING_MODE_64;