Symbol: sh3_cache_wbinv_range_index
sys/arch/sh/sh/cache_sh3.c
115
sh_cache_ops._icache_sync_range_index = sh3_cache_wbinv_range_index;
sys/arch/sh/sh/cache_sh3.c
118
sh_cache_ops._dcache_wbinv_range_index = sh3_cache_wbinv_range_index;
sys/arch/sh/sh/cache_sh3.c
44
void sh3_cache_wbinv_range_index(vaddr_t, vsize_t);