Symbol: pmap_allocpte_getpdp
sys/amd64/amd64/pmap.c
4656
pdp = pmap_allocpte_getpdp(pmap, lockp, va, true);
sys/amd64/amd64/pmap.c
4666
pdp = pmap_allocpte_getpdp(pmap, lockp, va, false);