Symbol: r4600v2_pdcache_wbinv_range_32
sys/arch/mips/include/cache_r5k.h
47
void r4600v2_pdcache_wbinv_range_32(register_t, vsize_t);
sys/arch/mips/mips/cache.c
567
r4600v2_pdcache_wbinv_range_32;