/* This function handles External line 10..15 interrupts request.  */
void EXTI15_10_IRQHandler(void)
/* This function handles External line 10..15 interrupts request.  */
void EXTI15_10_IRQHandler(void)
{
  if (HAL_GPIO_ReadPin(RIGHT_JOY_GPIO_PORT, RIGHT_JOY_PIN) == GPIO_PIN_SET)
  {
    HAL_GPIO_EXTI_IRQHandler(RIGHT_JOY_PIN);
  }
  else
  {
    HAL_GPIO_EXTI_IRQHandler(LEFT_JOY_PIN);
  }
}