/* This function handles External line 2 interrupt request.  */
void EXTI2_IRQHandler(void)
/* This function handles External line 2 interrupt request.  */
void EXTI2_IRQHandler(void)
{
   HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_2);
}