Symbol: sh4_dcache_inv_range
sys/arch/sh/sh/cache_sh4.c
153
sh_cache_ops._dcache_inv_range = sh4_dcache_inv_range;
sys/arch/sh/sh/cache_sh4.c
48
void sh4_dcache_inv_range(vaddr_t, vsize_t);