Symbol: _pmap_allocpte2
sys/arm/arm/pmap-v6.c
2591
m = _pmap_allocpte2(pmap, va, flags);
sys/arm/arm/pmap-v6.c
4600
mpt2pg = _pmap_allocpte2(pmap, va,