r3k_flush_icache_range  225 arch/mips/mm/c-r3k.c 	r3k_flush_icache_range(KSEG0, KSEG0 + icache_size);
r3k_flush_icache_range  266 arch/mips/mm/c-r3k.c 		r3k_flush_icache_range(kaddr, kaddr + PAGE_SIZE);
r3k_flush_icache_range  303 arch/mips/mm/c-r3k.c 	flush_icache_range = r3k_flush_icache_range;
r3k_flush_icache_range  304 arch/mips/mm/c-r3k.c 	local_flush_icache_range = r3k_flush_icache_range;
r3k_flush_icache_range  305 arch/mips/mm/c-r3k.c 	__flush_icache_user_range = r3k_flush_icache_range;
r3k_flush_icache_range  306 arch/mips/mm/c-r3k.c 	__local_flush_icache_user_range = r3k_flush_icache_range;