Constant _UFFDIO_WRITEPROTECT

Source
pub const _UFFDIO_WRITEPROTECT: u32 = 6;