Constant UFFDIO_WRITEPROTECT 

pub const UFFDIO_WRITEPROTECT: u32 = 3222841862;