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