Symbol: CR4_PCIDE
sys/amd64/amd64/pmap.c
2254
load_cr4(rcr4() | CR4_PCIDE);
sys/x86/x86/mp_x86.c
1131
load_cr4(rcr4() | CR4_PCIDE);