132 void flush_cache_range(struct vm_area_struct *vma, unsigned long start,  in flush_cache_range()  argument
136 	if (vma == NULL || (vma->vm_flags & VM_EXEC))  in flush_cache_range()
140 void flush_icache_page(struct vm_area_struct *vma, struct page *page)  in flush_icache_page()  argument
149 void flush_cache_page(struct vm_area_struct *vma, unsigned long vmaddr,  in flush_cache_page()  argument
156 	if (vma->vm_flags & VM_EXEC)  in flush_cache_page()
200 void update_mmu_cache(struct vm_area_struct *vma,  in update_mmu_cache()  argument
225 		if (vma->vm_flags & VM_EXEC)  in update_mmu_cache()
226 			flush_icache_page(vma, page);  in update_mmu_cache()
249 void copy_from_user_page(struct vm_area_struct *vma, struct page *page,  in copy_from_user_page()  argument
253 	flush_cache_page(vma, user_vaddr, page_to_pfn(page));  in copy_from_user_page()
256 	if (vma->vm_flags & VM_EXEC)  in copy_from_user_page()
260 void copy_to_user_page(struct vm_area_struct *vma, struct page *page,  in copy_to_user_page()  argument
264 	flush_cache_page(vma, user_vaddr, page_to_pfn(page));  in copy_to_user_page()
267 	if (vma->vm_flags & VM_EXEC)  in copy_to_user_page()