Symbol: sh_dcache_wbinv_range_index
sys/arch/sh/sh/pmap.c
536
sh_dcache_wbinv_range_index
sys/arch/sh/sh/pmap.c
668
sh_dcache_wbinv_range_index(va, PAGE_SIZE);
sys/arch/sh/sh/pmap.c
884
sh_dcache_wbinv_range_index(va, PAGE_SIZE);