69 static void __flush_icache(unsigned long start, unsigned long end)  in __flush_icache()  function
116 	__flush_icache(0, cpuinfo.icache_size);  in flush_cache_all()
132 	__flush_icache(start, end);  in flush_icache_range()
138 	__flush_icache(start, end);  in flush_dcache_range()
153 		__flush_icache(start, end);  in flush_cache_range()
162 	__flush_icache(start, end);  in flush_icache_page()
173 		__flush_icache(start, end);  in flush_cache_page()
250 	__flush_icache(vaddr, vaddr + PAGE_SIZE);  in copy_user_page()
253 	__flush_icache((unsigned long)vto, (unsigned long)vto + PAGE_SIZE);  in copy_user_page()
259 	__flush_icache(vaddr, vaddr + PAGE_SIZE);  in clear_user_page()
262 	__flush_icache((unsigned long)addr, (unsigned long)addr + PAGE_SIZE);  in clear_user_page()
273 		__flush_icache((unsigned long)src, (unsigned long)src + len);  in copy_from_user_page()
284 		__flush_icache((unsigned long)dst, (unsigned long)dst + len);  in copy_to_user_page()