Symbol: stm32_gpio_irq_trigger