sh4_dcache_wbinv_range
sh_cache_ops._dcache_wbinv_range = sh4_dcache_wbinv_range;
sh4_dcache_wbinv_range(va, (eva - va));
void sh4_dcache_wbinv_range(vaddr_t, vsize_t);