Symbol: gpio_pin_read