void dcache_clean_range(unsigned start,unsigned size) { unsigned st,end,i; st=start&(~(CACHE_LINE_SIZE-1)); end=start+size; for(i=st; i<end; i+=CACHE_LINE_SIZE) { dcache_clean_line(i); } #ifdef CONFIG_CACHE_L2X0 l2x0_wait_clean(); #endif }
void dcache_clean_range(volatile void *start, size_t size) { unsigned long v, begin, end, linesz; linesz = CONFIG_SYS_DCACHE_LINESZ; /* You asked for it, you got it */ begin = (unsigned long)start & ~(linesz - 1); end = ((unsigned long)start + size + linesz - 1) & ~(linesz - 1); for (v = begin; v < end; v += linesz) dcache_clean_line((void *)v); sync_write_buffer(); }