Symbol: gpio_pin_to_pin_num