Symbol: tx3900_pdcache_wbinv_all_4
sys/arch/mips/include/cache_tx39.h
149
void tx3900_pdcache_wbinv_all_4(void);
sys/arch/mips/mips/cache.c
319
tx3900_pdcache_wbinv_all_4;