| #include <linux/userfaultfd.h> | |
| #ifndef UFFD_USER_MODE_ONLY | |
| // this definition is not available before Linux 5.11. It is provided so | |
| // userfaultfd-sys has the same exports on all kernels | |
| #define UFFD_USER_MODE_ONLY 1 | |
| #endif | |
| #ifndef USERFAULTFD_IOC | |
| // Similarly, the ioctl() for `/dev/userfaultfd` is introduced with Linux 6.1. | |
| #define USERFAULTFD_IOC 0xAA | |
| #endif |