riot_sys::bindgen

Constant xPSR_ISR_Msk

Source 
pub const xPSR_ISR_Msk: u32 = 511;