Searched refs:kernel_text_ps_4K (Results 1 - 1 of 1) sorted by relevance

/macosx-10.9.5/xnu-2422.115.4/osfmk/x86_64/
H A Dpmap.c237 boolean_t kernel_text_ps_4K = TRUE; variable
923 * unless the -kernel_text_ps_4K boot-arg overrides.
927 kernel_text_ps_4K = FALSE;
928 if (PE_parse_boot_argn("-kernel_text_ps_4K",
929 &kernel_text_ps_4K,
930 sizeof (kernel_text_ps_4K)))
948 if (kernel_text_ps_4K && wpkernel) {
959 if (!kernel_text_ps_4K) {

Completed in 116 milliseconds