tx39_flush_icache_range  375 arch/mips/mm/c-tx39.c 		flush_icache_range = tx39_flush_icache_range;
tx39_flush_icache_range  376 arch/mips/mm/c-tx39.c 		local_flush_icache_range = tx39_flush_icache_range;