Searched refs:flush_user_dcache_range (Results 1 – 3 of 3) sorted by relevance
30 void flush_user_dcache_range(unsigned long, unsigned long);
310 flush_user_dcache_range((unsigned long) &frame->tramp[0], in setup_rt_frame()518 flush_user_dcache_range(regs->gr[30], regs->gr[30] + 4); in insert_restart_trampoline()
539 flush_user_dcache_range(unsigned long start, unsigned long end) in flush_user_dcache_range() function