Constant linux_raw_sys::ioctl::UFFDIO_WRITEPROTECT

pub const UFFDIO_WRITEPROTECT: u32 = 3222841862;