Symbol: pmap_pinit_pml4
sys/amd64/amd64/efirt_machdep.c
206
pmap_pinit_pml4(efi_pmltop_page);
sys/amd64/amd64/pmap.c
4406
pmap_pinit_pml4(pmltop_pg);
sys/amd64/include/pmap.h
416
void pmap_pinit_pml4(vm_page_t);