Symbol: __stm32_gpio_set