[][src]Constant userfaultfd_sys::UFFDIO_REGISTER_MODE_MISSING

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