Searched refs:pmap_pcid_initialize_kernel (Results 1 – 3 of 3) sorted by relevance
33 void pmap_pcid_initialize_kernel(pmap_t);
173 pmap_pcid_initialize_kernel(pmap_t p) in pmap_pcid_initialize_kernel() function
508 pmap_pcid_initialize_kernel(kernel_pmap); in pmap_bootstrap()