Constant RTC_IRQ

Source
pub const RTC_IRQ: u32 = 25;