50 	unsigned long bytes = l1_dcache_bytes();  in flush_dcache_range()  local
51 	void *addr = (void *)(start & ~(bytes - 1));  in flush_dcache_range()
52 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in flush_dcache_range()
58 	for (i = 0; i < size >> shift; i++, addr += bytes)  in flush_dcache_range()
72 	unsigned long bytes = l1_dcache_bytes();  in clean_dcache_range()  local
73 	void *addr = (void *)(start & ~(bytes - 1));  in clean_dcache_range()
74 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in clean_dcache_range()
77 	for (i = 0; i < size >> shift; i++, addr += bytes)  in clean_dcache_range()
91 	unsigned long bytes = l1_dcache_bytes();  in invalidate_dcache_range()  local
92 	void *addr = (void *)(start & ~(bytes - 1));  in invalidate_dcache_range()
93 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in invalidate_dcache_range()
96 	for (i = 0; i < size >> shift; i++, addr += bytes)  in invalidate_dcache_range()