Searched refs:__local_flush_icache_user_range (Results 1 – 7 of 7) sorted by relevance
40 void (*__local_flush_icache_user_range)(unsigned long start, unsigned long end); variable41 EXPORT_SYMBOL_GPL(__local_flush_icache_user_range);
330 __local_flush_icache_user_range = r3k_flush_icache_range; in r3k_cache_init()
298 __local_flush_icache_user_range = local_octeon_flush_icache_range; in octeon_cache_init()
416 __local_flush_icache_user_range = local_flush_icache_range; in tx39_cache_init()
1956 __local_flush_icache_user_range = local_r4k_flush_icache_user_range;
86 extern void (*__local_flush_icache_user_range)(unsigned long start,
63 __local_flush_icache_user_range(vaddr, vaddr + 4); in kvm_mips_trans_replace()
