Constant riot_sys::inline::RTC1_IRQn

pub const RTC1_IRQn: IRQn_Type = 17;