Symbol: r10k_pdcache_wbinv_all
sys/arch/mips/include/cache_r10k.h
75
void r10k_pdcache_wbinv_all(void);
sys/arch/mips/mips/cache.c
603
r10k_pdcache_wbinv_all;