xen_pcibk_release_pci_dev  635 drivers/xen/xen-pciback/pci_stub.c 			xen_pcibk_release_pci_dev(found_psdev->pdev,
xen_pcibk_release_pci_dev  295 drivers/xen/xen-pciback/xenbus.c 	xen_pcibk_release_pci_dev(pdev, dev, true /* use the lock. */);