Symbol: do_gpio_read