Symbol: sh4_dcache_wbinv_range_index
sys/arch/sh/sh/cache_sh4.c
152
sh_cache_ops._dcache_wbinv_range_index = sh4_dcache_wbinv_range_index;
sys/arch/sh/sh/cache_sh4.c
163
(void *)SH3_P1SEG_TO_P2SEG(sh4_dcache_wbinv_range_index);
sys/arch/sh/sh/cache_sh4.c
254
sh4_dcache_wbinv_range_index(va, eva - va);
sys/arch/sh/sh/cache_sh4.c
47
void sh4_dcache_wbinv_range_index(vaddr_t, vsize_t);