Constant userfaultfd_sys::UFFDIO_API

source · 
pub const UFFDIO_API: u32 = 0xc018aa3f;