Constant userfaultfd_sys::_UFFDIO_API[−][src]

pub const _UFFDIO_API: u64 = 63;