riot_sys::bindgen

Constant CPU_IRQ_NUMOF

Source 
pub const CPU_IRQ_NUMOF: u32 = 48;