pub const HAVE_TIMER_SETTIME: u32 = 1;