Symbol: tx3900_icache_sync_range_16
sys/arch/mips/include/cache_tx39.h
147
void tx3900_icache_sync_range_16(register_t, vsize_t);
sys/arch/mips/mips/cache.c
313
tx3900_icache_sync_range_16;
sys/arch/mips/mips/cache.c
316
tx3900_icache_sync_range_16;