Symbol: do_gpio_write