diff --git a/xen/common/device_tree.c b/xen/common/device_tree.c
index 87c3f712da..0ed86a7b03 100644
--- a/xen/common/device_tree.c
+++ b/xen/common/device_tree.c
@@ -880,7 +880,8 @@ int dt_for_each_range(const struct dt_device_node *dev,
     ranges = dt_get_property(dev, "ranges", &rlen);
     if ( ranges == NULL )
     {
-        printk(XENLOG_ERR "DT: no ranges; cannot enumerate\n");
+        printk(XENLOG_ERR "DT: no ranges; cannot enumerate %s\n",
+               dev->full_name);
         return -EINVAL;
     }
     if ( rlen == 0 ) /* Nothing to do */