Constant UFFD_PAGEFAULT_FLAG_MINOR

pub const UFFD_PAGEFAULT_FLAG_MINOR: u32 = 4;