Constant EF_SPARC_EXT_MASK 

pub const EF_SPARC_EXT_MASK: u32 = 0xFF_FF00;