void PIOS_TIM4_irq_handler() { PIOS_PWM_irq_handler(TIM4); }
void PIOS_TIM3_irq_handler() { PIOS_PWM_irq_handler(TIM3); }
void PIOS_TIM5_irq_handler() { PIOS_PWM_irq_handler(TIM5); }
void PIOS_TIM2_irq_handler() { PIOS_PWM_irq_handler(TIM2); }
void PIOS_TIM1_CC_irq_handler() { PIOS_PWM_irq_handler(TIM1); }