Constant UFFDIO_CONTINUE 

pub const UFFDIO_CONTINUE: __u32 = 3223366151;