pci_free_resource
(void) pci_free_resource(dip, assigned[i]);
int pci_free_resource(dev_info_t *, pci_regspec_t);