Searched refs:flush_user_dcache_range (Results 1 – 3 of 3) sorted by relevance
30 void flush_user_dcache_range(unsigned long, unsigned long);
302 flush_user_dcache_range((unsigned long) &frame->tramp[0], in setup_rt_frame()505 flush_user_dcache_range(start, end); in insert_restart_trampoline()
555 flush_user_dcache_range(unsigned long start, unsigned long end) in flush_user_dcache_range() function