userfaultfd_sys

Constant _UFFDIO_WRITEPROTECT

Source 
pub const _UFFDIO_WRITEPROTECT: u64 = 6;