/* get a list of pages in an address range belonging to the specified process and indicate the VMA that covers each page */
int get_user_pages(struct task_struct *tsk, struct mm_struct *mm, unsigned long start, int nr_pages, int write, int force, struct page **pages, struct vm_area_struct **vmas)
/* get a list of pages in an address range belonging to the specified process and indicate the VMA that covers each page */
int get_user_pages(struct task_struct *tsk, struct mm_struct *mm, unsigned long start, int nr_pages, int write, int force, struct page **pages, struct vm_area_struct **vmas)
{
	int flags = 0;
	if (write)
		flags |= FOLL_WRITE;
	if (force)
		flags |= FOLL_FORCE;
	return __get_user_pages(tsk, mm, start, nr_pages, flags, pages, vmas);
}