67 	unsigned long bytes = l1_dcache_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()
75 	for (i = 0; i < size >> shift; i++, addr += bytes)  in flush_dcache_range()
89 	unsigned long bytes = l1_dcache_bytes();  in clean_dcache_range()  local
90 	void *addr = (void *)(start & ~(bytes - 1));  in clean_dcache_range()
91 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in clean_dcache_range()
94 	for (i = 0; i < size >> shift; i++, addr += bytes)  in clean_dcache_range()
108 	unsigned long bytes = l1_dcache_bytes();  in invalidate_dcache_range()  local
109 	void *addr = (void *)(start & ~(bytes - 1));  in invalidate_dcache_range()
110 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in invalidate_dcache_range()
113 	for (i = 0; i < size >> shift; i++, addr += bytes)  in invalidate_dcache_range()