Constant UFFDIO_CONTINUE_MODE_DONTWAKE 

pub const UFFDIO_CONTINUE_MODE_DONTWAKE: __u32 = 1;