riot_sys::inline

Constant TIMER4_IRQn

Source 
pub const TIMER4_IRQn: IRQn_Type = 27;