dcache_wb_range
dcache_wb_range(addr, addr + PAGE_SIZE);
dcache_wb_range((unsigned long)dst, \
void dcache_wb_range(unsigned long start, unsigned long end);
dcache_wb_range((unsigned int)ret,
dcache_wb_range(addr, addr + 2);
dcache_wb_range(start, end);
dcache_wb_range((unsigned long)addr,