Symbol: sh_dcache_wbinv_range_index
sys/arch/sh3/sh3/pmap.c
566
sh_dcache_wbinv_range_index
sys/arch/sh3/sh3/pmap.c
691
sh_dcache_wbinv_range_index(va, PAGE_SIZE);
sys/arch/sh3/sh3/pmap.c
886
sh_dcache_wbinv_range_index(va, PAGE_SIZE);