18 static void __flush_dcache(unsigned long start, unsigned long end)  in __flush_dcache()  function
99 	__flush_dcache(0, cpuinfo.dcache_size);  in flush_cache_all()
115 	__flush_dcache(start, end);  in flush_icache_range()
121 	__flush_dcache(start, end);  in flush_dcache_range()
135 	__flush_dcache(start, end);  in flush_cache_range()
145 	__flush_dcache(start, end);  in flush_icache_page()
155 	__flush_dcache(start, end);  in flush_cache_page()
169 	__flush_dcache(start, start + PAGE_SIZE);  in __flush_dcache_page()
233 	__flush_dcache(vaddr, vaddr + PAGE_SIZE);  in copy_user_page()
236 	__flush_dcache((unsigned long)vto, (unsigned long)vto + PAGE_SIZE);  in copy_user_page()
242 	__flush_dcache(vaddr, vaddr + PAGE_SIZE);  in clear_user_page()
245 	__flush_dcache((unsigned long)addr, (unsigned long)addr + PAGE_SIZE);  in clear_user_page()
255 	__flush_dcache((unsigned long)src, (unsigned long)src + len);  in copy_from_user_page()
266 	__flush_dcache((unsigned long)dst, (unsigned long)dst + len);  in copy_to_user_page()