/* Set the Value for the Timer Repetition Counter. 
A timer update event is generated only after the specified number of repeat count cycles have been completed. */
void timer_set_repetition_counter(uint32_t timer_peripheral, uint32_t value)
/* Set the Value for the Timer Repetition Counter. 
A timer update event is generated only after the specified number of repeat count cycles have been completed. */
void timer_set_repetition_counter(uint32_t timer_peripheral, uint32_t value)
{
	TIM_RCR(timer_peripheral) = value;
}