Constant riot_sys::inline::TIMER1_IRQn

source ยท 
pub const TIMER1_IRQn: IRQn_Type = 9;