xen_pcibk_config_reset_dev  304 drivers/xen/xen-pciback/pci_stub.c 	xen_pcibk_config_reset_dev(dev);
xen_pcibk_config_reset_dev   77 drivers/xen/xen-pciback/pciback.h void xen_pcibk_config_reset_dev(struct pci_dev *dev);