24 #define flush_cache_range(mm, start, end)	do {} while(0)  argument
26 #define flush_cache_vmap(start, end)		do {} while(0)  argument
27 #define flush_cache_vunmap(start, end)		do {} while(0)  argument
35 extern void frv_dcache_writeback(unsigned long start, unsigned long size);
36 extern void frv_cache_invalidate(unsigned long start, unsigned long size);
37 extern void frv_icache_invalidate(unsigned long start, unsigned long size);
38 extern void frv_cache_wback_inv(unsigned long start, unsigned long size);
71 static inline void flush_icache_range(unsigned long start, unsigned long end)  in flush_icache_range()  argument
73 	frv_cache_wback_inv(start, end);  in flush_icache_range()
78 				    unsigned long start, unsigned long len);
81 					   unsigned long start, unsigned long len)  in flush_icache_user_range()  argument
83 	frv_cache_wback_inv(start, start + len);  in flush_icache_user_range()