__local_r4k_flush_icache_range  790 arch/mips/mm/c-r4k.c 	__local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, false);
__local_r4k_flush_icache_range  796 arch/mips/mm/c-r4k.c 	__local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, true);
__local_r4k_flush_icache_range  807 arch/mips/mm/c-r4k.c 	__local_r4k_flush_icache_range(start, end, type, user);