Symbol: tx3920_icache_sync_range_16wt
sys/arch/mips/include/cache_tx39.h
155
void tx3920_icache_sync_range_16wt(register_t, vsize_t);
sys/arch/mips/mips/cache.c
344
tx3920_icache_sync_range_16wt :