Constant riot_sys::TIMER_INTENSET_COMPARE3_Set

pub const TIMER_INTENSET_COMPARE3_Set: u32 = 1;