Constant linux_raw_sys::general::_UFFDIO_CONTINUE

pub const _UFFDIO_CONTINUE: u32 = 7;