Constant userfaultfd_sys::_UFFDIO_COPY

pub const _UFFDIO_COPY: u64 = 3;