seized_devices     66 drivers/xen/xen-pciback/pci_stub.c static LIST_HEAD(seized_devices);
seized_devices    456 drivers/xen/xen-pciback/pci_stub.c 	while (!list_empty(&seized_devices)) {
seized_devices    457 drivers/xen/xen-pciback/pci_stub.c 		psdev = container_of(seized_devices.next,
seized_devices    541 drivers/xen/xen-pciback/pci_stub.c 		list_add(&psdev->dev_list, &seized_devices);