/* 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.  */
void pci_dev_put(struct pci_dev *dev)
/* 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.  */
void pci_dev_put(struct pci_dev *dev)
{
	if (dev)
		put_device(&dev->dev);
}