xen/arm: map_device: Don't hardcode dom0 in print message
authorJulien Grall <julien.grall@linaro.org>
Tue, 22 Apr 2014 13:14:15 +0000 (14:14 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 2 May 2014 12:14:10 +0000 (13:14 +0100)
Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain_build.c

index 9dcff1cd6c8ee67db80a1cf90fc38a452913e9c2..af5cd6c60a8939362a332cead26a76fa418e5993 100644 (file)
@@ -754,8 +754,9 @@ static int map_device(struct domain *d, const struct dt_device_node *dev)
         if ( res )
         {
             printk(XENLOG_ERR "Unable to map 0x%"PRIx64
-                   " - 0x%"PRIx64" in dom0\n",
-                   addr & PAGE_MASK, PAGE_ALIGN(addr + size) - 1);
+                   " - 0x%"PRIx64" in domain %d\n",
+                   addr & PAGE_MASK, PAGE_ALIGN(addr + size) - 1,
+                   d->domain_id);
             return res;
         }
     }