Constant userfaultfd_sys::UFFDIO_ZEROPAGE_MODE_DONTWAKE

pub const UFFDIO_ZEROPAGE_MODE_DONTWAKE: u64 = 1 << 0; // 0x0_000_000_000_000_001u64