linux_raw_sys::general

Constant _UFFDIO_CONTINUE

source 
pub const _UFFDIO_CONTINUE: u32 = 7;