Symbol: cpu_tlb_flushID_SE
sys/arch/arm/arm32/pmap.c
5077
cpu_tlb_flushID_SE((u_int)vector_page);
sys/arch/arm/arm32/pmap.c
799
cpu_tlb_flushID_SE(va);