Constant UFFD_PAGEFAULT_FLAG_WRITE 

pub const UFFD_PAGEFAULT_FLAG_WRITE: u32 = 1; // 1u32