riot_sys::inline

Constant TIMER1_IRQn

Source 
pub const TIMER1_IRQn: IRQn_Type = 9;