xen_pcibk_config_free_dev  137 drivers/xen/xen-pciback/pci_stub.c 	xen_pcibk_config_free_dev(dev);
xen_pcibk_config_free_dev  434 drivers/xen/xen-pciback/pci_stub.c 	xen_pcibk_config_free_dev(dev);
xen_pcibk_config_free_dev   78 drivers/xen/xen-pciback/pciback.h void xen_pcibk_config_free_dev(struct pci_dev *dev);