1 /* SPDX-License-Identifier: GPL-2.0-or-later */
26 #define ARCH_IMPLEMENTS_FLUSH_DCACHE_PAGE 1
29 void flush_icache_range(unsigned long start, unsigned long stop);
45  * @stop: the stop address (exclusive)
47 static inline void flush_dcache_range(unsigned long start, unsigned long stop)  in flush_dcache_range()  argument
51 	void *addr = (void *)(start & ~(bytes - 1));  in flush_dcache_range()
52 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in flush_dcache_range()
69 static inline void clean_dcache_range(unsigned long start, unsigned long stop)  in clean_dcache_range()  argument
73 	void *addr = (void *)(start & ~(bytes - 1));  in clean_dcache_range()
74 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in clean_dcache_range()
83  * Like above, but invalidate the D-cache.  This is used by the 8xx
85  * from the CPM (no cache snooping here :-).
88 					   unsigned long stop)  in invalidate_dcache_range()  argument
92 	void *addr = (void *)(start & ~(bytes - 1));  in invalidate_dcache_range()
93 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in invalidate_dcache_range()
111 #include <asm-generic/cacheflush.h>