Symbol: tx3920_pdcache_wbinv_range_16wb
sys/arch/mips/include/cache_tx39.h
160
void tx3920_pdcache_wbinv_range_16wb(register_t, vsize_t);
sys/arch/mips/mips/cache.c
357
tx3920_pdcache_wbinv_range_16wb;