Symbol: octeon_flush_icache_range
arch/mips/mm/c-octeon.c
279
flush_icache_range = octeon_flush_icache_range;
arch/mips/mm/c-octeon.c
281
__flush_icache_user_range = octeon_flush_icache_range;