Constant _UFFDIO_COPY 

pub const _UFFDIO_COPY: u32 = 3;