riot_sys

Constant NVIC_STIR_INTID_Msk

Source 
pub const NVIC_STIR_INTID_Msk: u32 = 511;