22 static u32 get_ccsidr(void)  in get_ccsidr()  argument
96 static void v7_inval_tlb(void)  in v7_inval_tlb()  argument
110 void invalidate_dcache_all(void)  in invalidate_dcache_all()  argument
121 void flush_dcache_all(void)  in flush_dcache_all()  argument
157 void arm_init_before_mmu(void)  in arm_init_before_mmu()  argument
170 void invalidate_dcache_all(void)  in invalidate_dcache_all()  argument
174 void flush_dcache_all(void)  in flush_dcache_all()  argument
186 void arm_init_before_mmu(void)  in arm_init_before_mmu()  argument
194 void arm_init_domains(void)  in arm_init_domains()  argument
201 void invalidate_icache_all(void)  in invalidate_icache_all()  argument
219 void invalidate_icache_all(void)  in invalidate_icache_all()  argument
225 __weak void v7_outer_cache_enable(void) {}  in v7_outer_cache_enable()  argument
226 __weak void v7_outer_cache_disable(void) {}  in v7_outer_cache_disable()  argument
227 __weak void v7_outer_cache_flush_all(void) {}  in v7_outer_cache_flush_all()  argument
228 __weak void v7_outer_cache_inval_all(void) {}  in v7_outer_cache_inval_all()  argument