linux_raw_sys::general

Constant _UFFDIO_COPY

Source 
pub const _UFFDIO_COPY: u32 = 3;