pci_dev_put      1548 drivers/pci/pci-driver.c void pci_dev_put(struct pci_dev *dev)
pci_dev_put      1684 include/linux/pci.h #define pci_dev_put(dev)	do { } while (0)