[][src]Constant userfaultfd_sys::UFFD_API_RANGE_IOCTLS

pub const UFFD_API_RANGE_IOCTLS: u64 = 1 << _UFFDIO_WAKE | 1 << _UFFDIO_COPY | 1 << _UFFDIO_ZEROPAGE; // 28u64