Symbol: mipsNN_sdcache_wbinv_all
sys/arch/mips/include/cache_mipsNN.h
50
void mipsNN_sdcache_wbinv_all(void);
sys/arch/mips/mips/cache.c
1338
mco->mco_sdcache_wbinv_all = mipsNN_sdcache_wbinv_all;