Searched refs:flush_user_icache_range (Results 1 – 3 of 3) sorted by relevance
472 flush_user_icache_range(unsigned long start, unsigned long end) in flush_user_icache_range() function491 flush_user_icache_range(start,end); in flush_cache_range()
326 flush_user_icache_range((unsigned long) &frame->tramp[0], in setup_rt_frame()536 flush_user_icache_range(regs->gr[30], regs->gr[30] + 4); in insert_restart_trampoline()
30 void flush_user_icache_range(unsigned long, unsigned long);