Symbol: CR4_LA57
sys/amd64/vmm/intel/vmx.c
2004
if (!(cr4 & CR4_LA57))
usr.sbin/bhyve/gdb.c
319
paging->paging_mode = (regs[2] & CR4_LA57) ?