Symbol: sh4_icache_sync_range_index
sys/arch/sh/sh/cache_sh4.c
148
sh_cache_ops._icache_sync_range_index = sh4_icache_sync_range_index;
sys/arch/sh/sh/cache_sh4.c
44
void sh4_icache_sync_range_index(vaddr_t, vsize_t);