void __irq_tim4(void) {
dispatch_general(TIMER4);
}
void __irq_tim5(void) {
dispatch_general(TIMER5);
}
void __irq_tim3(void) {
dispatch_general(TIMER3);
}
void __irq_tim2(void) {
dispatch_general(TIMER2);
}
void TIM4_IRQHandler(void) {
dispatch_general(TIMER4);
}
void TIM3_IRQHandler(void) {
dispatch_general(TIMER3);
}
/*
void TIM1_BRK_TIM9_IRQHandler(void)
{
dispatch_adv_brk(TIMER1);
}
void TIM1_UP_TIM10_IRQHandler(void) {
dispatch_adv_up(TIMER1);
}
void TIM1_TRG_COM_TIM11_IRQHandler(void) {
dispatch_adv_trg_com(TIMER1);
}
void TIM1_CC_IRQHandler(void) {
dispatch_adv_cc(TIMER1);
}
*/
void TIM2_IRQHandler(void) {
dispatch_general(TIMER2);
}