pub const timer_intr_t_TIMER_INTR_NONE: u32 = 0; // 0u32