Constant riot_sys::inline::TIMER4_IRQn

pub const TIMER4_IRQn: IRQn_Type = 27;