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()280 cpu_cache_wbinval_range(start, end, 1); in copy_to_user_page()
334 void cpu_cache_wbinval_range(unsigned long start, unsigned long end, int flushi) in cpu_cache_wbinval_range() function