67 	unsigned long bytes = l1_cache_bytes();  in flush_dcache_range()  local
68 	void *addr = (void *)(start & ~(bytes - 1));  in flush_dcache_range()
69 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in flush_dcache_range()
77 	for (i = 0; i < size >> shift; i++, addr += bytes)  in flush_dcache_range()
93 	unsigned long bytes = l1_cache_bytes();  in clean_dcache_range()  local
94 	void *addr = (void *)(start & ~(bytes - 1));  in clean_dcache_range()
95 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in clean_dcache_range()
98 	for (i = 0; i < size >> shift; i++, addr += bytes)  in clean_dcache_range()
112 	unsigned long bytes = l1_cache_bytes();  in invalidate_dcache_range()  local
113 	void *addr = (void *)(start & ~(bytes - 1));  in invalidate_dcache_range()
114 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in invalidate_dcache_range()
117 	for (i = 0; i < size >> shift; i++, addr += bytes)  in invalidate_dcache_range()