Searched refs:pmap_pinit_pml4 (Results 1 – 3 of 3) sorted by relevance
200 pmap_pinit_pml4(efi_pmltop_page); in efi_create_1t1_map()
4104 pmap_pinit_pml4(vm_page_t pml4pg) in pmap_pinit_pml4() function4226 pmap_pinit_pml4(pmltop_pg); in pmap_pinit_type()
479 void pmap_pinit_pml4(vm_page_t);