local_octeon_flush_icache_range  278 arch/mips/mm/c-octeon.c 	local_flush_icache_range	= local_octeon_flush_icache_range;
local_octeon_flush_icache_range  280 arch/mips/mm/c-octeon.c 	__local_flush_icache_user_range	= local_octeon_flush_icache_range;