uint32_t timer_get_interval(timer_channel_t channel);