Constant USER_TIMER_MAXIMUM

pub const USER_TIMER_MAXIMUM: u32 = 2147483647;