Searched refs:pmap_mark_page_as_kernel_page (Results 1 – 2 of 2) sorted by relevance
1854 extern void pmap_mark_page_as_kernel_page(pmap_paddr_t);
1160 pmap_mark_page_as_kernel_page(pmap_paddr_t pa) in pmap_mark_page_as_kernel_page() function1207 pmap_mark_page_as_kernel_page(pa); in pmap_release_ppl_pages_to_kernel_internal()