tx3900_pdcache_wb_range_4 - NetBSD

Symbol: tx3900_pdcache_wb_range_4

sys/arch/mips/include/cache_tx39.h

void tx3900_pdcache_wb_range_4(register_t, vsize_t);

sys/arch/mips/mips/cache.c

tx3900_pdcache_wb_range_4;