Constant userfaultfd_sys::UFFDIO_WRITEPROTECT

source · 
pub const UFFDIO_WRITEPROTECT: u32 = 0xc018aa06;