24 void invalidate_dcache_region(void *start, size_t size)  in invalidate_dcache_region()  argument
34 	begin = (unsigned long)start;  in invalidate_dcache_region()
38 		flush_dcache_line(start);  in invalidate_dcache_region()
52 void clean_dcache_region(void *start, size_t size)  in clean_dcache_region()  argument
57 	begin = (unsigned long)start & ~(linesz - 1);  in clean_dcache_region()
58 	end = ((unsigned long)start + size + linesz - 1) & ~(linesz - 1);  in clean_dcache_region()
65 void flush_dcache_region(void *start, size_t size)  in flush_dcache_region()  argument
70 	begin = (unsigned long)start & ~(linesz - 1);  in flush_dcache_region()
71 	end = ((unsigned long)start + size + linesz - 1) & ~(linesz - 1);  in flush_dcache_region()
78 void invalidate_icache_region(void *start, size_t size)  in invalidate_icache_region()  argument
83 	begin = (unsigned long)start & ~(linesz - 1);  in invalidate_icache_region()
84 	end = ((unsigned long)start + size + linesz - 1) & ~(linesz - 1);  in invalidate_icache_region()
90 static inline void __flush_icache_range(unsigned long start, unsigned long end)  in __flush_icache_range()  argument
95 	for (v = start; v < end; v += linesz) {  in __flush_icache_range()
106 void flush_icache_range(unsigned long start, unsigned long end)  in flush_icache_range()  argument
111 	__flush_icache_range(start & ~(linesz - 1),  in flush_icache_range()