Lines Matching refs:userfaultfd
10 * pagefault handling is done in userspace using the userfaultfd facility.
13 * to point to additional memory regions managed by the userfaultfd, so using
23 #include <linux/userfaultfd.h>
39 /* Memory handled by userfaultfd */
56 * userfaultfd. If 'backing_data' is not NULL, its content will be save to
85 struct uffd_msg msg; /* Data read from userfaultfd */
86 long uffd; /* userfaultfd file descriptor */
103 fprintf(stderr, "read(): EOF on userfaultfd\n");
114 fprintf(stderr, "Unexpected event on userfaultfd\n");
139 long uffd; /* userfaultfd file descriptor */
147 /* Create and enable userfaultfd object */
150 perror("userfaultfd() failed");
163 * the related page will be allocated via the userfaultfd mechanism.
174 * handled by the userfaultfd object. In 'mode' we request to track
185 /* Create a thread that will process the userfaultfd events */
236 * signal is raised. The page fault will be treated via userfaultfd,