70 static int handle_uffd_page_request(int uffd_mode, int uffd, uint64_t addr)  in handle_uffd_page_request()  argument
87 		r = ioctl(uffd, UFFDIO_COPY, &copy);  in handle_uffd_page_request()
99 		r = ioctl(uffd, UFFDIO_CONTINUE, &cont);  in handle_uffd_page_request()
123 	int uffd;  member
131 	int uffd = uffd_args->uffd;  in uffd_handler_thread_fn()  local
146 		pollfd[0].fd = uffd;  in uffd_handler_thread_fn()
180 		r = read(uffd, &msg, sizeof(msg));  in uffd_handler_thread_fn()
199 		r = handle_uffd_page_request(uffd_args->uffd_mode, uffd, addr);  in uffd_handler_thread_fn()
220 	int uffd;  in setup_demand_paging()  local
243 	uffd = syscall(__NR_userfaultfd, O_CLOEXEC | O_NONBLOCK);  in setup_demand_paging()
244 	TEST_ASSERT(uffd >= 0, __KVM_SYSCALL_ERROR("userfaultfd()", uffd));  in setup_demand_paging()
248 	ret = ioctl(uffd, UFFDIO_API, &uffdio_api);  in setup_demand_paging()
254 	ret = ioctl(uffd, UFFDIO_REGISTER, &uffdio_register);  in setup_demand_paging()
260 	uffd_args->uffd = uffd;  in setup_demand_paging()