/* Set Counter. 
Set the value of a timer's counter register contents. */
void timer_set_counter(uint32_t timer_peripheral, uint32_t count)
/* Set Counter. 
Set the value of a timer's counter register contents. */
void timer_set_counter(uint32_t timer_peripheral, uint32_t count)
{
	TIM_CNT(timer_peripheral) = count;
}