Constant UFFD_PAGEFAULT_FLAG_MINOR 

pub const UFFD_PAGEFAULT_FLAG_MINOR: u32 = 4;