pub const UFFDIO_COPY_MODE_DONTWAKE: u32 = 1;