Constant _UFFDIO_ZEROPAGE 

pub const _UFFDIO_ZEROPAGE: u32 = 4; // 4u32