bhnd_release_resources
void bhnd_release_resources(device_t dev,
bhnd_release_resources(dev, rs, res);