Symbol: mipsNN_pdcache_wbinv_range_index
sys/arch/mips/include/cache_mipsNN.h
48
void mipsNN_pdcache_wbinv_range_index(vaddr_t, vsize_t);
sys/arch/mips/mips/cache.c
1201
mco->mco_pdcache_wbinv_range_index = mipsNN_pdcache_wbinv_range_index;