Constant userfaultfd_sys::_UFFDIO_UNREGISTER[−][src]

pub const _UFFDIO_UNREGISTER: u64 = 1;