_UFFDIO_WAKE

Constant _UFFDIO_WAKE 

Source
pub const _UFFDIO_WAKE: u32 = 2;