riot_sys::inline

Constant RTC1_IRQn

Source 
pub const RTC1_IRQn: IRQn_Type = 17;