Constant userfaultfd_sys::UFFDIO_REGISTER_MODE_WP [−][src]
pub const UFFDIO_REGISTER_MODE_WP: u64 = 1 << 1; // 0x0_000_000_000_000_002u64
pub const UFFDIO_REGISTER_MODE_WP: u64 = 1 << 1; // 0x0_000_000_000_000_002u64