__xen_pcibk_release_devices  159 drivers/xen/xen-pciback/passthrough.c static void __xen_pcibk_release_devices(struct xen_pcibk_device *pdev)
__xen_pcibk_release_devices  208 drivers/xen/xen-pciback/vpci.c static void __xen_pcibk_release_devices(struct xen_pcibk_device *pdev)