205 static inline void flush_cache_range(struct vm_area_struct *vma,  in flush_cache_range()  argument
209 	if (vma->vm_mm == current->mm)  in flush_cache_range()
213 static inline void flush_cache_page(struct vm_area_struct *vma, unsigned long vmaddr, unsigned long…  in flush_cache_page()  argument
215 	if (vma->vm_mm == current->mm)  in flush_cache_page()
254 #define flush_icache_page(vma, page)	__flush_page_to_ram(page_address(page))  argument
256 extern void flush_icache_user_range(struct vm_area_struct *vma, struct page *page,
260 static inline void copy_to_user_page(struct vm_area_struct *vma,  in copy_to_user_page()  argument
264 	flush_cache_page(vma, vaddr, page_to_pfn(page));  in copy_to_user_page()
266 	flush_icache_user_range(vma, page, vaddr, len);  in copy_to_user_page()
268 static inline void copy_from_user_page(struct vm_area_struct *vma,  in copy_from_user_page()  argument
272 	flush_cache_page(vma, vaddr, page_to_pfn(page));  in copy_from_user_page()