sh4_emode_dcache_wbinv_range_index
sh_cache_ops._dcache_wbinv_range_index = sh4_emode_dcache_wbinv_range_index;
sh4_emode_dcache_wbinv_range_index(va, eva - va);
void sh4_emode_dcache_wbinv_range_index(vaddr_t, vsize_t);