/* This function handles External line 9_5 interrupt request.  */
void EXTI9_5_IRQHandler(void)
/* This function handles External line 9_5 interrupt request.  */
void EXTI9_5_IRQHandler(void)
{
   HAL_GPIO_EXTI_IRQHandler(TS_INT_PIN);
}