/* Timer Set Period. 
Specify the timer period in the auto-reload register. */
void timer_set_period(uint32_t timer_peripheral, uint32_t period)
/* Timer Set Period. 
Specify the timer period in the auto-reload register. */
void timer_set_period(uint32_t timer_peripheral, uint32_t period)
{
	TIM_ARR(timer_peripheral) = period;
}