Constant riot_sys::RTC_INTENSET_TICK_Set

pub const RTC_INTENSET_TICK_Set: u32 = 1;