201 void dcache_enable(void)  in dcache_enable()  argument
218 void dcache_disable(void)  in dcache_disable()  argument
236 int dcache_status(void)  in dcache_status()  argument
256 void flush_dcache_all(void)  in flush_dcache_all()  argument
264 void invalidate_dcache_all(void)  in invalidate_dcache_all()  argument
272 void dcache_enable(void)  in dcache_enable()  argument
277 void dcache_disable(void)  in dcache_disable()  argument
282 int dcache_status(void)  in dcache_status()  argument
287 void flush_dcache_all(void)  in flush_dcache_all()  argument
291 void invalidate_dcache_all(void)  in invalidate_dcache_all()  argument
298 void invalidate_icache_all(void)  in invalidate_icache_all()  argument
307 void icache_enable(void)  in icache_enable()  argument
320 int icache_status(void)  in icache_status()  argument
325 void icache_disable(void)  in icache_disable()  argument
335 void icache_enable(void)  in icache_enable()  argument
340 void icache_disable(void)  in icache_disable()  argument
345 int icache_status(void)  in icache_status()  argument
351 void enable_caches(void)  in enable_caches()  argument