sh4_dcache_wb_range
sh_cache_ops._dcache_wb_range = sh4_dcache_wb_range;
void sh4_dcache_wb_range(vaddr_t, vsize_t);