release a use of the pci device structure
void pci_dev_put (
|struct pci_dev * dev|
struct pci_dev * dev
device that's been disconnected
Must be called when a user of a device is finished with it. When the last
user of the device calls this function, the memory of the device is freed.