Constant linux_raw_sys::general::_UFFDIO_ZEROPAGE

pub const _UFFDIO_ZEROPAGE: u32 = 4;