Symbol: __xen_pcibk_release_devices
drivers/xen/xen-pciback/passthrough.c
191
.free = __xen_pcibk_release_devices,
drivers/xen/xen-pciback/vpci.c
262
.free = __xen_pcibk_release_devices,