Constant _UFFDIO_WRITEPROTECT 

pub const _UFFDIO_WRITEPROTECT: u32 = 6;