message: make GPIO interrupts work for all pin numbers
diff: @@ -346,6 +346,11 @@ void EXTI4_IRQHandler(void)
  */
  void EXTI9_5_IRQHandler(void)
  {
  + // The true source of the interrupt is checked inside HAL_GPIO_EXTI_IRQHandler()
  + HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_5);
  + HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_6);
  + HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_7);
  + HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_8);
  HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_9);
  }
  @@ -354,6 +359,12 @@ void EXTI9_5_IRQHandler(void)
  */
  void EXTI15_10_IRQHandler(void)
  {
  + // The true source of the interrupt is checked inside HAL_GPIO_EXTI_IRQHandler()
  + HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_10);
  + HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_11);
  + HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_12);
  + HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_13);
  + HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_14);
  HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_15);
  }
  