Symbol: ls2_pdcache_wbinv_range_index
sys/arch/mips/include/cache_ls2.h
112
void ls2_pdcache_wbinv_range_index(vaddr_t, vsize_t);
sys/arch/mips/mips/cache.c
640
ls2_pdcache_wbinv_range_index;
sys/arch/mips/mips/cache_ls2.c
205
ls2_pdcache_wbinv_range_index(0, mci->mci_pdcache_way_size);