Constant riot_sys::TIMER_3_MAX_VALUE

pub const TIMER_3_MAX_VALUE: u32 = 4294967295;