Constant riot_sys::TIMER_1_MAX_VALUE

pub const TIMER_1_MAX_VALUE: u32 = 4294967295;