Symbol: ls2_sdcache_wbinv_range
sys/arch/mips/include/cache_ls2.h
118
void ls2_sdcache_wbinv_range(register_t, vsize_t);
sys/arch/mips/mips/cache.c
833
ls2_sdcache_wbinv_range;
sys/arch/mips/mips/cache_ls2.c
263
ls2_sdcache_wbinv_range(va, size);