Symbol: ls2_pdcache_wb_range
sys/arch/mips/include/cache_ls2.h
115
void ls2_pdcache_wb_range(register_t, vsize_t);
sys/arch/mips/mips/cache.c
644
ls2_pdcache_wb_range;