/* Enable the timer to start counting. 
This should be called after the timer initial configuration has been completed. */
void timer_enable_counter(uint32_t timer_peripheral)
/* Enable the timer to start counting. 
This should be called after the timer initial configuration has been completed. */
void timer_enable_counter(uint32_t timer_peripheral)
{
	TIM_CR1(timer_peripheral) |= TIM_CR1_CEN;
}