_UFFDIO_CONTINUE

Constant _UFFDIO_CONTINUE 

Source
pub const _UFFDIO_CONTINUE: u32 = 7;