Searched refs:pmap_pinit_pml4 (Results 1 – 3 of 3) sorted by relevance
195 pmap_pinit_pml4(efi_pmltop_page); in efi_create_1t1_map()
4311 pmap_pinit_pml4(vm_page_t pml4pg) in pmap_pinit_pml4() function4498 pmap_pinit_pml4(pmltop_pg); in pmap_pinit_type()
468 void pmap_pinit_pml4(vm_page_t);