Constant UFFDIO_WRITEPROTECT 

pub const UFFDIO_WRITEPROTECT: __u32 = 3222841862;