/* This function handles External line 1 interrupt request.  */
void EXTI1_IRQHandler(void)
/* This function handles External line 1 interrupt request.  */
void EXTI1_IRQHandler(void)
{
  HAL_GPIO_EXTI_IRQHandler(DOWN_JOY_PIN);
}