Constant riot_sys::TIMER_1_MAX_VALUE

source ยท 
pub const TIMER_1_MAX_VALUE: u32 = 4294967295;