Constant linux_raw_sys::ioctl::UFFDIO_CONTINUE

source ยท 
pub const UFFDIO_CONTINUE: u32 = 3223366151;