__xen_pcibk_release_pci_dev   72 drivers/xen/xen-pciback/passthrough.c static void __xen_pcibk_release_pci_dev(struct xen_pcibk_device *pdev,
__xen_pcibk_release_pci_dev  148 drivers/xen/xen-pciback/vpci.c static void __xen_pcibk_release_pci_dev(struct xen_pcibk_device *pdev,