Constant UFFDIO_ZEROPAGE 

pub const UFFDIO_ZEROPAGE: u32 = 3223366148;