Symbol: tx3900_pdcache_inv_range_4
sys/arch/mips/include/cache_tx39.h
151
void tx3900_pdcache_inv_range_4(register_t, vsize_t);
sys/arch/mips/mips/cache.c
321
tx3900_pdcache_inv_range_4;
sys/arch/mips/mips/cache.c
324
tx3900_pdcache_inv_range_4;
sys/arch/mips/mips/cache.c
326
tx3900_pdcache_inv_range_4;