/* This function handles External line 5 to 9 interrupts request.  */
void EXTI9_5_IRQHandler(void)
/* This function handles External line 5 to 9 interrupts request.  */
void EXTI9_5_IRQHandler(void)
{
  HAL_GPIO_EXTI_IRQHandler(MFX_IRQOUT_PIN);
}