_UFFDIO_CONTINUE

linux_raw_sys::general

Constant _UFFDIO_CONTINUE 

Source 
pub const _UFFDIO_CONTINUE: u32 = 7;