Symbol: sh4_dcache_wb_range
sys/arch/sh/sh/cache_sh4.c
154
sh_cache_ops._dcache_wb_range = sh4_dcache_wb_range;
sys/arch/sh/sh/cache_sh4.c
49
void sh4_dcache_wb_range(vaddr_t, vsize_t);