Searched refs:cpu_cache_wbinval_range (Results 1 – 3 of 3) sorted by relevance
32 extern void cpu_cache_wbinval_range(unsigned long start,
23 cpu_cache_wbinval_range(start, end, 1); in flush_icache_range()281 cpu_cache_wbinval_range(start, end, 1); in copy_to_user_page()
331 void cpu_cache_wbinval_range(unsigned long start, unsigned long end, int flushi) in cpu_cache_wbinval_range() function