Symbol: pte1_sync_range
sys/arm/arm/pmap-v6.c
2320
pte1_sync_range(pmap->pm_pt1, NB_IN_PT1);
sys/arm/arm/pmap-v6.c
800
pte1_sync_range(kern_pt1, NB_IN_PT1);