Symbol: cpu_tlb_flushID_SE
sys/arch/arm/arm/pmap7.c
1034
cpu_tlb_flushID_SE(pv->pv_va);
sys/arch/arm/arm/pmap7.c
1592
cpu_tlb_flushID_SE(sva);
sys/arch/arm/arm/pmap7.c
454
cpu_tlb_flushID_SE(va);