Constant UFFDIO_ZEROPAGE_MODE_DONTWAKE 

pub const UFFDIO_ZEROPAGE_MODE_DONTWAKE: __u32 = 1;