found_psdev       261 drivers/xen/xen-pciback/pci_stub.c 	struct pcistub_device *psdev, *found_psdev = NULL;
found_psdev       270 drivers/xen/xen-pciback/pci_stub.c 			found_psdev = psdev;
found_psdev       276 drivers/xen/xen-pciback/pci_stub.c 	if (WARN_ON(!found_psdev))
found_psdev       309 drivers/xen/xen-pciback/pci_stub.c 	spin_lock_irqsave(&found_psdev->lock, flags);
found_psdev       310 drivers/xen/xen-pciback/pci_stub.c 	found_psdev->pdev = NULL;
found_psdev       311 drivers/xen/xen-pciback/pci_stub.c 	spin_unlock_irqrestore(&found_psdev->lock, flags);
found_psdev       313 drivers/xen/xen-pciback/pci_stub.c 	pcistub_device_put(found_psdev);
found_psdev       602 drivers/xen/xen-pciback/pci_stub.c 	struct pcistub_device *psdev, *found_psdev = NULL;
found_psdev       613 drivers/xen/xen-pciback/pci_stub.c 			found_psdev = psdev;
found_psdev       620 drivers/xen/xen-pciback/pci_stub.c 	if (found_psdev) {
found_psdev       622 drivers/xen/xen-pciback/pci_stub.c 			found_psdev->pdev ? "- in-use" : "");
found_psdev       624 drivers/xen/xen-pciback/pci_stub.c 		if (found_psdev->pdev) {
found_psdev       628 drivers/xen/xen-pciback/pci_stub.c 			       pci_name(found_psdev->dev), domid);
found_psdev       635 drivers/xen/xen-pciback/pci_stub.c 			xen_pcibk_release_pci_dev(found_psdev->pdev,
found_psdev       636 drivers/xen/xen-pciback/pci_stub.c 						found_psdev->dev,
found_psdev       641 drivers/xen/xen-pciback/pci_stub.c 		list_del(&found_psdev->dev_list);
found_psdev       645 drivers/xen/xen-pciback/pci_stub.c 		pcistub_device_put(found_psdev);