Symbol: r10k_pdcache_inv_range
sys/arch/mips/include/cache_r10k.h
78
void r10k_pdcache_inv_range(register_t, vsize_t);
sys/arch/mips/mips/cache.c
609
r10k_pdcache_inv_range;