103 static void r3k_flush_icache_range(unsigned long start, unsigned long end)  in r3k_flush_icache_range()  argument
108 	size = end - start;  in r3k_flush_icache_range()
109 	if (size > icache_size || KSEGX(start) != KSEG0) {  in r3k_flush_icache_range()
110 		start = KSEG0;  in r3k_flush_icache_range()
113 	p = (char *)start;  in r3k_flush_icache_range()
160 static void r3k_flush_dcache_range(unsigned long start, unsigned long end)  in r3k_flush_dcache_range()  argument
165 	size = end - start;  in r3k_flush_dcache_range()
166 	if (size > dcache_size || KSEGX(start) != KSEG0) {  in r3k_flush_dcache_range()
167 		start = KSEG0;  in r3k_flush_dcache_range()
170 	p = (char *)start;  in r3k_flush_dcache_range()
232 				  unsigned long start, unsigned long end)  in r3k_flush_cache_range()  argument
305 static void r3k_dma_cache_wback_inv(unsigned long start, unsigned long size)  in r3k_dma_cache_wback_inv()  argument
311 	r3k_flush_dcache_range(start, start + size);  in r3k_dma_cache_wback_inv()