Symbol: sh4_dcache_wbinv_range
sys/arch/sh/sh/cache_sh4.c
151
sh_cache_ops._dcache_wbinv_range = sh4_dcache_wbinv_range;
sys/arch/sh/sh/cache_sh4.c
236
sh4_dcache_wbinv_range(va, (eva - va));
sys/arch/sh/sh/cache_sh4.c
46
void sh4_dcache_wbinv_range(vaddr_t, vsize_t);