23 static inline void flush_kernel_vmap_range(void *vaddr, int size)  in flush_kernel_vmap_range()  argument
26 static inline void invalidate_kernel_vmap_range(void *vaddr, int size)  in invalidate_kernel_vmap_range()  argument
132 static inline void clear_user_highpage(struct page *page, unsigned long vaddr)  in clear_user_highpage()  argument
135 	clear_user_page(addr, vaddr, page);  in clear_user_highpage()
158 			unsigned long vaddr)  in __alloc_zeroed_user_highpage()  argument
161 			vma, vaddr);  in __alloc_zeroed_user_highpage()
164 		clear_user_highpage(page, vaddr);  in __alloc_zeroed_user_highpage()
180 					unsigned long vaddr)  in alloc_zeroed_user_highpage_movable()  argument
182 	return __alloc_zeroed_user_highpage(__GFP_MOVABLE, vma, vaddr);  in alloc_zeroed_user_highpage_movable()
225 	unsigned long vaddr, struct vm_area_struct *vma)  in copy_user_highpage()  argument
231 	copy_user_page(vto, vfrom, vaddr, to);  in copy_user_highpage()