Constant linux_raw_sys::general::_UFFDIO_COPY

pub const _UFFDIO_COPY: u32 = 3;