void EXTI9_5_IRQHandler(void) { ECHO_EXTI_IRQHandler(); }
void EXTI15_10_IRQHandler(void) { ECHO_EXTI_IRQHandler(); }