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 <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Reviewed-by: Volodymyr Babchuk <volodymyr_babchuk@epam.com>

diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index b791e4b512557052edbdcab86a0a62814deeafb9..5709a77d4d66eb1f7d826cd266317c694fa40cce 100644 (file)
--- 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;
         }