Searched refs:pmap_pinit_pml5 (Results 1 – 3 of 3) sorted by relevance
197 pmap_pinit_pml5(efi_pmltop_page); in efi_create_1t1_map()
4131 pmap_pinit_pml5(vm_page_t pml5pg) in pmap_pinit_pml5() function4224 pmap_pinit_pml5(pmltop_pg); in pmap_pinit_type()
480 void pmap_pinit_pml5(vm_page_t);