[][src]Constant userfaultfd_sys::_UFFDIO_WAKE

pub const _UFFDIO_WAKE: u64 = 2;