Searched refs:__flush_icache_user_range (Results 1 – 5 of 5) sorted by relevance
41 void (*__flush_icache_user_range)(unsigned long start, unsigned long end); variable97 __flush_icache_user_range(addr, addr + bytes); in SYSCALL_DEFINE3()
296 __flush_icache_user_range = r3k_flush_icache_range; in r3k_cache_init()
281 __flush_icache_user_range = octeon_flush_icache_range; in octeon_cache_init()
1752 __flush_icache_user_range = r4k_flush_icache_user_range; in r4k_cache_init()
87 extern void (*__flush_icache_user_range)(unsigned long start,