Constant timer_intr_t_TIMER_INTR_NONE

pub const timer_intr_t_TIMER_INTR_NONE: timer_intr_t = 0;