/* This provides the code for the "next gen" EXTI block provided in F2/F4/L1 devices. (differences only in the source selection)  */
void timer_reset(uint32_t timer_peripheral)
/* This provides the code for the "next gen" EXTI block provided in F2/F4/L1 devices. (differences only in the source selection)  */
void timer_reset(uint32_t timer_peripheral)
{
	TIMER_TCR(timer_peripheral) |= TIMER_TCR_CRST;
	TIMER_TCR(timer_peripheral) &= ~TIMER_TCR_CRST;
}