riot_sys::bindgen

Constant xPSR_GE_Msk

Source 
pub const xPSR_GE_Msk: u32 = 983040;