Constant UFFDIO_CONTINUE 

pub const UFFDIO_CONTINUE: u32 = 3223366151; // 3_223_366_151u32