spin_unlock_irqrestore(&pcistub_devices_lock, flags);
 
        if (found_psdev) {
-               dev_dbg(&dev->dev, "found device to remove - in use? %p\n",
-                       found_psdev->pdev);
+               dev_dbg(&dev->dev, "found device to remove %s\n",
+                       found_psdev->pdev ? "- in-use" : "");
 
                if (found_psdev->pdev) {
-                       pr_warn("****** removing device %s while still in-use! ******\n",
-                              pci_name(found_psdev->dev));
+                       int domid = xen_find_device_domain_owner(dev);
+
+                       pr_warn("****** removing device %s while still in-use by domain %d! ******\n",
+                              pci_name(found_psdev->dev), domid);
                        pr_warn("****** driver domain may still access this device's i/o resources!\n");
                        pr_warn("****** shutdown driver domain before binding device\n");
                        pr_warn("****** to other drivers or domains\n");