Searched refs:flush_user_dcache_range (Results 1 – 3 of 3) sorted by relevance
463 flush_user_dcache_range(unsigned long start, unsigned long end) in flush_user_dcache_range() function490 flush_user_dcache_range(start,end); in flush_cache_range()
324 flush_user_dcache_range((unsigned long) &frame->tramp[0], in setup_rt_frame()535 flush_user_dcache_range(regs->gr[30], regs->gr[30] + 4); in insert_restart_trampoline()
29 void flush_user_dcache_range(unsigned long, unsigned long);