void tim6_isr() { timer_handle_interrupt(TIM_6); }
void tim7_isr() { timer_handle_interrupt(TIM_7); }
void tim3_isr() { timer_handle_interrupt(TIM_3); }
void tim4_isr() { timer_handle_interrupt(TIM_4); }
/* ISR handlers */ void tim2_isr() { timer_handle_interrupt(TIM_2); }
void tim8_cc_isr() { timer_handle_interrupt(TIM_8); }
void tim8_up_tim13_isr() { timer_handle_interrupt(TIM_8); }
void tim1_cc_isr() { timer_handle_interrupt(TIM_1); }
void tim1_up_tim10_isr() { timer_handle_interrupt(TIM_1); }