73 	unsigned long bytes = l1_dcache_bytes();  in flush_dcache_range()  local
74 	void *addr = (void *)(start & ~(bytes - 1));  in flush_dcache_range()
75 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in flush_dcache_range()
81 	for (i = 0; i < size >> shift; i++, addr += bytes)  in flush_dcache_range()
95 	unsigned long bytes = l1_dcache_bytes();  in clean_dcache_range()  local
96 	void *addr = (void *)(start & ~(bytes - 1));  in clean_dcache_range()
97 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in clean_dcache_range()
100 	for (i = 0; i < size >> shift; i++, addr += bytes)  in clean_dcache_range()
114 	unsigned long bytes = l1_dcache_bytes();  in invalidate_dcache_range()  local
115 	void *addr = (void *)(start & ~(bytes - 1));  in invalidate_dcache_range()
116 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in invalidate_dcache_range()
119 	for (i = 0; i < size >> shift; i++, addr += bytes)  in invalidate_dcache_range()