Symbol: r4k_pdcache_wbinv_all_generic
sys/arch/mips/include/cache_r4k.h
312
void r4k_pdcache_wbinv_all_generic(void);
sys/arch/mips/mips/cache.c
441
mco->mco_pdcache_wbinv_all = r4k_pdcache_wbinv_all_generic;