res->start = l64;
                        res->end = l64 + sz64;
                        dev_printk(KERN_DEBUG, &dev->dev,
-                               "reg %x 64bit mmio: %pR\n", pos, res);
+                               "reg %x %s: %pR\n", pos,
+                                (res->flags & IORESOURCE_PREFETCH) ?
+                                       "64bit mmio pref" : "64bit mmio",
+                                res);
                }
 
                res->flags |= IORESOURCE_MEM_64;
                res->end = l + sz;
 
                dev_printk(KERN_DEBUG, &dev->dev, "reg %x %s: %pR\n", pos,
-                       (res->flags & IORESOURCE_IO) ? "io port" : "32bit mmio",
+                       (res->flags & IORESOURCE_IO) ? "io port" :
+                        ((res->flags & IORESOURCE_PREFETCH) ?
+                                "32bit mmio pref" : "32bit mmio"),
                        res);
        }