Symbol: __r4k_flush_icache_range
arch/mips/mm/c-r4k.c
738
return __r4k_flush_icache_range(start, end, false);
arch/mips/mm/c-r4k.c
743
return __r4k_flush_icache_range(start, end, true);