43 void invalidate_icache_all(void)  in invalidate_icache_all()  argument
77 void icache_enable(void)  in icache_enable()  argument
87 void icache_disable(void)  in icache_disable()  argument
98 int icache_status(void)  in icache_status()  argument
114 void invalidate_icache_all(void)  in invalidate_icache_all()  argument
122 void icache_enable(void)  in icache_enable()  argument
126 void icache_disable(void)  in icache_disable()  argument
130 int icache_status(void)  in icache_status()  argument
138 void dcache_wbinval_all(void)  in dcache_wbinval_all()  argument
188 void dcache_enable(void)  in dcache_enable()  argument
198 void dcache_disable(void)  in dcache_disable()  argument
209 int dcache_status(void)  in dcache_status()  argument
223 void dcache_wbinval_all(void)  in dcache_wbinval_all()  argument
235 void dcache_enable(void)  in dcache_enable()  argument
239 void dcache_disable(void)  in dcache_disable()  argument
243 int dcache_status(void)  in dcache_status()  argument
251 void flush_dcache_all(void)  in flush_dcache_all()  argument
256 void cache_flush(void)  in cache_flush()  argument