53 static void __flush_icache(unsigned long start, unsigned long end)  in __flush_icache()  function
100 	__flush_icache(0, cpuinfo.icache_size);  in flush_cache_all()
116 	__flush_icache(start, end);  in flush_icache_range()
122 	__flush_icache(start, end);  in flush_dcache_range()
137 		__flush_icache(start, end);  in flush_cache_range()
146 	__flush_icache(start, end);  in flush_icache_page()
157 		__flush_icache(start, end);  in flush_cache_page()
234 	__flush_icache(vaddr, vaddr + PAGE_SIZE);  in copy_user_page()
237 	__flush_icache((unsigned long)vto, (unsigned long)vto + PAGE_SIZE);  in copy_user_page()
243 	__flush_icache(vaddr, vaddr + PAGE_SIZE);  in clear_user_page()
246 	__flush_icache((unsigned long)addr, (unsigned long)addr + PAGE_SIZE);  in clear_user_page()
257 		__flush_icache((unsigned long)src, (unsigned long)src + len);  in copy_from_user_page()
268 		__flush_icache((unsigned long)dst, (unsigned long)dst + len);  in copy_to_user_page()