1 #include <linux/types.h> 2 #include <linux/ioctl.h> 3 #include <linux/userfaultfd.h> 4 5 #ifdef UFFD_API 6 const __u64 _const_UFFD_API = UFFD_API; 7 #endif 8 9 #ifdef UFFD_API_FEATURES 10 const __u64 _const_UFFD_API_FEATURES = UFFD_API_FEATURES; 11 #endif 12 13 #ifdef UFFD_API_IOCTLS 14 const __u64 _const_UFFD_API_IOCTLS = UFFD_API_IOCTLS; 15 #endif 16 17 #ifdef UFFD_API_RANGE_IOCTLS 18 const __u64 _const_UFFD_API_RANGE_IOCTLS = UFFD_API_RANGE_IOCTLS; 19 #endif 20 21 #ifdef UFFD_API_RANGE_IOCTLS_BASIC 22 const __u64 _const_UFFD_API_RANGE_IOCTLS_BASIC = UFFD_API_RANGE_IOCTLS_BASIC; 23 #endif 24 25 #ifdef UFFDIO_REGISTER_MODE_MISSING 26 const __u64 _const_UFFDIO_REGISTER_MODE_MISSING = UFFDIO_REGISTER_MODE_MISSING; 27 #endif 28 29 #ifdef UFFDIO_REGISTER_MODE_WP 30 const __u64 _const_UFFDIO_REGISTER_MODE_WP = UFFDIO_REGISTER_MODE_WP; 31 #endif 32 33 #ifdef UFFDIO_COPY_MODE_DONTWAKE 34 const __u64 _const_UFFDIO_COPY_MODE_DONTWAKE = UFFDIO_COPY_MODE_DONTWAKE; 35 #endif 36 37 #ifdef UFFDIO_COPY_MODE_WP 38 const __u64 _const_UFFDIO_COPY_MODE_WP = UFFDIO_COPY_MODE_WP; 39 #endif 40 41 #ifdef UFFDIO_ZEROPAGE_MODE_DONTWAKE 42 const __u64 _const_UFFDIO_ZEROPAGE_MODE_DONTWAKE = UFFDIO_ZEROPAGE_MODE_DONTWAKE; 43 #endif 44 45 #ifdef UFFDIO_API 46 const __u32 _const_UFFDIO_API = UFFDIO_API; 47 #endif 48 49 #ifdef UFFDIO_REGISTER 50 const __u32 _const_UFFDIO_REGISTER = UFFDIO_REGISTER; 51 #endif 52 53 #ifdef UFFDIO_UNREGISTER 54 const __u32 _const_UFFDIO_UNREGISTER = UFFDIO_UNREGISTER; 55 #endif 56 57 #ifdef UFFDIO_WAKE 58 const __u32 _const_UFFDIO_WAKE = UFFDIO_WAKE; 59 #endif 60 61 #ifdef UFFDIO_COPY 62 const __u32 _const_UFFDIO_COPY = UFFDIO_COPY; 63 #endif 64 65 #ifdef UFFDIO_ZEROPAGE 66 const __u32 _const_UFFDIO_ZEROPAGE = UFFDIO_ZEROPAGE; 67 #endif 68 69 #ifdef UFFDIO_WRITEPROTECT 70 const __u32 _const_UFFDIO_WRITEPROTECT = UFFDIO_WRITEPROTECT; 71 #endif 72