Symbol: pmap_change_pte1
sys/arm/arm/pmap-v6.c
3554
pmap_change_pte1(pmap, pte1p, va, npte1);
sys/arm/arm/pmap-v6.c
3837
pmap_change_pte1(pmap, pte1p, va, npte1);