11 #define flush_cache_range(vma, start, end)	do { } while (0)  argument
12 #define flush_cache_page(vma, vmaddr, pfn)	do { } while (0)  argument
51 flush_icache_user_range(struct vm_area_struct *vma, struct page *page,  in flush_icache_user_range()  argument
54 	if (vma->vm_flags & VM_EXEC) {  in flush_icache_user_range()
55 		struct mm_struct *mm = vma->vm_mm;  in flush_icache_user_range()
63 extern void flush_icache_user_range(struct vm_area_struct *vma,
68 #define flush_icache_page(vma, page) \  argument
69   flush_icache_user_range((vma), (page), 0, 0)
71 #define copy_to_user_page(vma, page, vaddr, dst, src, len) \  argument
73      flush_icache_user_range(vma, page, vaddr, len); \
75 #define copy_from_user_page(vma, page, vaddr, dst, src, len) \  argument