__r4k_flush_icache_range 847 arch/mips/mm/c-r4k.c return __r4k_flush_icache_range(start, end, false); __r4k_flush_icache_range 852 arch/mips/mm/c-r4k.c return __r4k_flush_icache_range(start, end, true);