192 static inline void flush_kernel_vmap_range(void *vaddr, int size)  in flush_kernel_vmap_range()  argument
195 static inline void invalidate_kernel_vmap_range(void *vaddr, int size)  in invalidate_kernel_vmap_range()  argument
202 static inline void clear_user_highpage(struct page *page, unsigned long vaddr)  in clear_user_highpage()  argument
205 	clear_user_page(addr, vaddr, page);  in clear_user_highpage()
225 				   unsigned long vaddr)  in vma_alloc_zeroed_movable_folio()  argument
229 	folio = vma_alloc_folio(GFP_HIGHUSER_MOVABLE | __GFP_CMA, 0, vma, vaddr, false);  in vma_alloc_zeroed_movable_folio()
231 		clear_user_highpage(&folio->page, vaddr);  in vma_alloc_zeroed_movable_folio()
304 	unsigned long vaddr, struct vm_area_struct *vma)  in copy_user_highpage()  argument
310 	copy_user_page(vto, vfrom, vaddr, to);  in copy_user_highpage()
342 					unsigned long vaddr, struct vm_area_struct *vma)  in copy_mc_user_highpage()  argument
381 					unsigned long vaddr, struct vm_area_struct *vma)  in copy_mc_user_highpage()  argument
383 	copy_user_highpage(to, from, vaddr, vma);  in copy_mc_user_highpage()