Symbol: gpio_to_pin