Symbol: pmap_get_physpage
sys/arch/amd64/amd64/pmap.c
3033
pmap_get_physpage(va, level - 1, &pa);
sys/arch/amd64/amd64/pmap.c
351
int pmap_get_physpage(vaddr_t, int, paddr_t *);