Constant _UFFDIO_ZEROPAGE 

pub const _UFFDIO_ZEROPAGE: u64 = 4;