Constant UFFDIO_ZEROPAGE 

pub const UFFDIO_ZEROPAGE: __u32 = 3223366148;