Symbol: CR4_PSE
lib/libnvmm/libnvmm_x86.c
409
has_pse = (state->crs[NVMM_X64_CR_CR4] & CR4_PSE) != 0;
sys/arch/x86/x86/pmap.c
1287
lcr4(rcr4() | CR4_PSE); /* enable hardware (via %cr4) */
sys/dev/nvmm/x86/nvmm_x86_svm.c
523
(CR4_PSE|CR4_PAE|CR4_PGE|CR4_PCIDE|CR4_SMEP)
sys/dev/nvmm/x86/nvmm_x86_svm.c
530
CR4_PSE | \
sys/dev/nvmm/x86/nvmm_x86_vmx.c
738
CR4_PSE | \
sys/dev/nvmm/x86/nvmm_x86_vmx.c
765
(CR4_PSE|CR4_PAE|CR4_PGE|CR4_PCIDE|CR4_SMEP)