/* Set the Value for the Timer Prescaler. 
The timer clock is prescaled by the 16 bit scale value plus 1. */
void timer_set_prescaler(uint32_t timer_peripheral, uint32_t value)
/* Set the Value for the Timer Prescaler. 
The timer clock is prescaled by the 16 bit scale value plus 1. */
void timer_set_prescaler(uint32_t timer_peripheral, uint32_t value)
{
	TIM_PSC(timer_peripheral) = value;
}