Symbol: gpio_pin_config