Searched refs:flush_user_icache_range (Results 1 – 3 of 3) sorted by relevance
31 void flush_user_icache_range(unsigned long, unsigned long);
304 flush_user_icache_range((unsigned long) &frame->tramp[0], in setup_rt_frame()506 flush_user_icache_range(start, end); in insert_restart_trampoline()
564 flush_user_icache_range(unsigned long start, unsigned long end) in flush_user_icache_range() function