From 940731ecc066781b35ece890ebb2a275c86027a5 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Thu, 15 Aug 2019 18:34:21 +0100 Subject: [PATCH] xen/arm: domain_build: Print the correct domain in construct_domain() construct_domain() can be called by other domain than dom0. To avoid confusion in the log, print the correct domain. Signed-off-by: Julien Grall Reviewed-by: Stefano Stabellini Reviewed-by: Volodymyr Babchuk --- xen/arch/arm/domain_build.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c index b791e4b512..5709a77d4d 100644 --- a/xen/arch/arm/domain_build.c +++ b/xen/arch/arm/domain_build.c @@ -2007,7 +2007,7 @@ static int __init construct_domain(struct domain *d, struct kernel_info *kinfo) { if ( vcpu_create(d, i) == NULL ) { - printk("Failed to allocate d0v%u\n", i); + printk("Failed to allocate d%dv%d\n", d->domain_id, i); break; } -- 2.39.5