/* Read Counter. 
Read back the value of a timer's counter register contents */
uint32_t timer_get_counter(uint32_t timer_peripheral)
/* Read Counter. 
Read back the value of a timer's counter register contents */
uint32_t timer_get_counter(uint32_t timer_peripheral)
{
	return TIM_CNT(timer_peripheral);
}