Constant xPSR_GE_Msk

pub const xPSR_GE_Msk: u32 = 983040;