UFFDIO_COPY

Constant UFFDIO_COPY 

Source
pub const UFFDIO_COPY: u32 = 3223890435;