Symbol: pmap_alloc_level
sys/arch/amd64/amd64/pmap.c
3080
pmap_alloc_level(pmap_maxkvaddr, PTP_LEVELS, needed_kptp);
sys/arch/amd64/amd64/pmap.c
353
void pmap_alloc_level(vaddr_t, int, long *);