Symbol: tx3920_pdcache_inv_range_16
sys/arch/mips/include/cache_tx39.h
162
void tx3920_pdcache_inv_range_16(register_t, vsize_t);
sys/arch/mips/mips/cache.c
356
tx3920_pdcache_inv_range_16 :
sys/arch/mips/mips/cache.c
362
tx3920_pdcache_inv_range_16;