Constant userfaultfd_sys::UFFD_API_RANGE_IOCTLS[−][src]

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