Constant riot_sys::TIMER_INTENSET_COMPARE3_Msk

pub const TIMER_INTENSET_COMPARE3_Msk: u32 = 524288;