|
@@ -66,9 +66,7 @@
|
|
#include <pthread.h>
|
|
#include <pthread.h>
|
|
#include <linux/userfaultfd.h>
|
|
#include <linux/userfaultfd.h>
|
|
|
|
|
|
-#ifndef __NR_userfaultfd
|
|
|
|
-#error "missing __NR_userfaultfd definition"
|
|
|
|
-#endif
|
|
|
|
|
|
+#ifdef __NR_userfaultfd
|
|
|
|
|
|
static unsigned long nr_cpus, nr_pages, nr_pages_per_cpu, page_size;
|
|
static unsigned long nr_cpus, nr_pages, nr_pages_per_cpu, page_size;
|
|
|
|
|
|
@@ -631,3 +629,15 @@ int main(int argc, char **argv)
|
|
nr_pages, nr_pages_per_cpu);
|
|
nr_pages, nr_pages_per_cpu);
|
|
return userfaultfd_stress();
|
|
return userfaultfd_stress();
|
|
}
|
|
}
|
|
|
|
+
|
|
|
|
+#else /* __NR_userfaultfd */
|
|
|
|
+
|
|
|
|
+#warning "missing __NR_userfaultfd definition"
|
|
|
|
+
|
|
|
|
+int main(void)
|
|
|
|
+{
|
|
|
|
+ printf("skip: Skipping userfaultfd test (missing __NR_userfaultfd)\n");
|
|
|
|
+ return 0;
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+#endif /* __NR_userfaultfd */
|