Symbol: gpio_pin_set