Searched refs:pmap_kernel_text_ps (Results 1 – 3 of 3) sorted by relevance
803 uint32_t pmap_kernel_text_ps = PAGE_SIZE; variable814 …OID_AUTO, kernel_text_ps, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, &pmap_kernel_text_ps, 0, "");
453 extern uint32_t pmap_kernel_text_ps;
1274 pmap_kernel_text_ps = I386_LPGBYTES; in pmap_lowmem_finalize()