148 void flush_cache_range(struct vm_area_struct *vma, unsigned long start,  in flush_cache_range()  argument
152 	if (vma == NULL || (vma->vm_flags & VM_EXEC))  in flush_cache_range()
156 void flush_icache_page(struct vm_area_struct *vma, struct page *page)  in flush_icache_page()  argument
165 void flush_cache_page(struct vm_area_struct *vma, unsigned long vmaddr,  in flush_cache_page()  argument
172 	if (vma->vm_flags & VM_EXEC)  in flush_cache_page()
216 void update_mmu_cache(struct vm_area_struct *vma,  in update_mmu_cache()  argument
241 		if (vma->vm_flags & VM_EXEC)  in update_mmu_cache()
242 			flush_icache_page(vma, page);  in update_mmu_cache()
265 void copy_from_user_page(struct vm_area_struct *vma, struct page *page,  in copy_from_user_page()  argument
269 	flush_cache_page(vma, user_vaddr, page_to_pfn(page));  in copy_from_user_page()
272 	if (vma->vm_flags & VM_EXEC)  in copy_from_user_page()
276 void copy_to_user_page(struct vm_area_struct *vma, struct page *page,  in copy_to_user_page()  argument
280 	flush_cache_page(vma, user_vaddr, page_to_pfn(page));  in copy_to_user_page()
283 	if (vma->vm_flags & VM_EXEC)  in copy_to_user_page()