Symbol: sh4_icache_sync_range
sys/arch/sh/sh/cache_sh4.c
147
sh_cache_ops._icache_sync_range = sh4_icache_sync_range;
sys/arch/sh/sh/cache_sh4.c
43
void sh4_icache_sync_range(vaddr_t, vsize_t);