Symbol: pmap_tlb_flush_pte1
sys/arm/arm/pmap-v6.c
3402
pmap_tlb_flush_pte1(pmap, va, npte1);
sys/arm/arm/pmap-v6.c
3427
pmap_tlb_flush_pte1(pmap, va, npte1);