|
@@ -249,6 +249,7 @@ static int xen_pcibk_export_device(struct xen_pcibk_device *pdev,
|
|
goto out;
|
|
goto out;
|
|
|
|
|
|
dev_dbg(&dev->dev, "registering for %d\n", pdev->xdev->otherend_id);
|
|
dev_dbg(&dev->dev, "registering for %d\n", pdev->xdev->otherend_id);
|
|
|
|
+ dev->dev_flags |= PCI_DEV_FLAGS_ASSIGNED;
|
|
if (xen_register_device_domain_owner(dev,
|
|
if (xen_register_device_domain_owner(dev,
|
|
pdev->xdev->otherend_id) != 0) {
|
|
pdev->xdev->otherend_id) != 0) {
|
|
dev_err(&dev->dev, "device has been assigned to another " \
|
|
dev_err(&dev->dev, "device has been assigned to another " \
|
|
@@ -288,6 +289,7 @@ static int xen_pcibk_remove_device(struct xen_pcibk_device *pdev,
|
|
}
|
|
}
|
|
|
|
|
|
dev_dbg(&dev->dev, "unregistering for %d\n", pdev->xdev->otherend_id);
|
|
dev_dbg(&dev->dev, "unregistering for %d\n", pdev->xdev->otherend_id);
|
|
|
|
+ dev->dev_flags &= ~PCI_DEV_FLAGS_ASSIGNED;
|
|
xen_unregister_device_domain_owner(dev);
|
|
xen_unregister_device_domain_owner(dev);
|
|
|
|
|
|
xen_pcibk_release_pci_dev(pdev, dev);
|
|
xen_pcibk_release_pci_dev(pdev, dev);
|