Symbol: pt2map_pt2pg
sys/arm/arm/pmap-v6.c
2665
pmap_tlb_flush(pmap, pt2map_pt2pg(va));
sys/arm/arm/pmap-v6.c
3603
fpte2p = page_pt2(pt2map_pt2pg(va), pte1_idx);
sys/arm/arm/pmap-v6.c
3771
fpte2p = page_pt2(pt2map_pt2pg(va), pte1_idx);
sys/arm/arm/pmap-v6.c
937
bzero((void*)pt2map_pt2pg(va), PAGE_SIZE);
sys/arm/arm/pmap-v6.c
938
pte2_sync_range((pt2_entry_t *)pt2map_pt2pg(va), PAGE_SIZE);