Symbol: pmap_pdp
sys/platform/pc64/x86_64/pmap.c
5589
if (pmap_pdp(pmap, va) == NULL)
sys/platform/pc64/x86_64/pmap.c
5612
if (pmap_pdp(pmap, va) == NULL)
sys/platform/pc64/x86_64/pmap.c
706
pdp = pmap_pdp(pmap, va);