Constant UFFDIO_ZEROPAGE_MODE_DONTWAKE

pub const UFFDIO_ZEROPAGE_MODE_DONTWAKE: u32 = 1;