62 void invalidate_icache_range(unsigned long start, unsigned long end)  in invalidate_icache_range()  argument
67 	while (end > start) {  in invalidate_icache_range()
71 			: "r"(start)  in invalidate_icache_range()
73 		start += line_size;  in invalidate_icache_range()
118 void invalidate_icache_range(unsigned long start, unsigned long end)  in invalidate_icache_range()  argument
160 void flush_dcache_range(unsigned long start, unsigned long end)  in flush_dcache_range()  argument
166 	while (end > start) {  in flush_dcache_range()
169 			"\n\tcctl %0, L1D_VA_INVAL" : : "r" (start)  in flush_dcache_range()
171 		start += line_size;  in flush_dcache_range()
175 void invalidate_dcache_range(unsigned long start, unsigned long end)  in invalidate_dcache_range()  argument
180 	while (end > start) {  in invalidate_dcache_range()
182 			"\n\tcctl %0, L1D_VA_INVAL" : : "r"(start)  in invalidate_dcache_range()
184 		start += line_size;  in invalidate_dcache_range()
227 void flush_dcache_range(unsigned long start, unsigned long end)  in flush_dcache_range()  argument
231 void invalidate_dcache_range(unsigned long start, unsigned long end)  in invalidate_dcache_range()  argument