sh3_cache_wbinv_range
sh_cache_ops._icache_sync_range = sh3_cache_wbinv_range;
sh_cache_ops._dcache_wbinv_range = sh3_cache_wbinv_range;
sh_cache_ops._dcache_wb_range = sh3_cache_wbinv_range;
void sh3_cache_wbinv_range(vaddr_t, vsize_t);