imcsmb_pci_release_bus
imcsmb_pci_release_bus(sc->imcsmb_pci);
void imcsmb_pci_release_bus(device_t dev);