Constant userfaultfd_sys::UFFDIO_WAKE

source · 
pub const UFFDIO_WAKE: u32 = 0x8010aa02;