sh4_icache_sync_range
sh_cache_ops._icache_sync_range = sh4_icache_sync_range;
void sh4_icache_sync_range(vaddr_t, vsize_t);