Symbol: mips_config_cache
sys/arch/mips/include/cache.h
327
void mips_config_cache(void);
sys/arch/mips/mips/mips_machdep.c
1324
mips_config_cache();