gpiobus_release_pin
gpiobus_release_pin(busdev, gpio->pin);
gpiobus_release_pin(dev, devi->pins[i]);
void gpiobus_release_pin(device_t, uint32_t);