Searched refs:__local_flush_icache_user_range (Results 1 – 5 of 5) sorted by relevance
42 void (*__local_flush_icache_user_range)(unsigned long start, unsigned long end); variable43 EXPORT_SYMBOL_GPL(__local_flush_icache_user_range);
297 __local_flush_icache_user_range = r3k_flush_icache_range; in r3k_cache_init()
282 __local_flush_icache_user_range = local_octeon_flush_icache_range; in octeon_cache_init()
1749 __local_flush_icache_user_range = local_r4k_flush_icache_user_range; in r4k_cache_init()
89 extern void (*__local_flush_icache_user_range)(unsigned long start,