Constant userfaultfd_sys::_UFFDIO_WAKE[][src]

pub const _UFFDIO_WAKE: u64 = 2;