Constant UFFDIO_WRITEPROTECT

pub const UFFDIO_WRITEPROTECT: u32 = 3222841862;