Message ID | 1398172475-27873-2-git-send-email-julien.grall@linaro.org |
---|---|
State | Accepted, archived |
Headers | show |
On Tue, 2014-04-22 at 14:14 +0100, Julien Grall wrote: > Signed-off-by: Julien Grall <julien.grall@linaro.org> Acked-by: Ian Campbell <ian.campbell@citrix.com>
diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c index 9dcff1c..af5cd6c 100644 --- a/xen/arch/arm/domain_build.c +++ b/xen/arch/arm/domain_build.c @@ -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; } }
Signed-off-by: Julien Grall <julien.grall@linaro.org> --- Changes in v4: - Patch added --- xen/arch/arm/domain_build.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-)