__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);