Symbol: __local_r4k_flush_icache_range
arch/mips/mm/c-r4k.c
681
__local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, false);
arch/mips/mm/c-r4k.c
687
__local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, true);
arch/mips/mm/c-r4k.c
698
__local_r4k_flush_icache_range(start, end, type, user);