Symbol: r3k_pdcache_inv_range
sys/arch/mips/include/cache_r3k.h
47
void r3k_pdcache_inv_range(register_t, vsize_t);
sys/arch/mips/mips/cache.c
287
r3k_pdcache_inv_range;
sys/arch/mips/mips/cache.c
291
r3k_pdcache_inv_range;