linux_raw_sys::general

Constant _UFFDIO_CONTINUE

Source 
pub const _UFFDIO_CONTINUE: u32 = 7;