Symbol: gpio_pin_range