Constant UFFDIO_CONTINUE 

pub const UFFDIO_CONTINUE: u32 = 3223366151;