Symbol: r3k_pdcache_wbinv_all
sys/arch/mips/include/cache_r3k.h
45
void r3k_pdcache_wbinv_all(void);
sys/arch/mips/mips/cache.c
285
r3k_pdcache_wbinv_all;
sys/arch/mips/mips/cache_r3k.c
101
r3k_pdcache_wbinv_all();