Constant UFFDIO_ZEROPAGE_MODE_DONTWAKE 

pub const UFFDIO_ZEROPAGE_MODE_DONTWAKE: u32 = 1;