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.gr...@arm.com> --- 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 33171081ea..cf9ffbc360 100644 --- a/xen/arch/arm/domain_build.c +++ b/xen/arch/arm/domain_build.c @@ -1978,7 +1978,7 @@ static int __init construct_domain(struct domain *d, struct kernel_info *kinfo) cpu = cpumask_cycle(cpu, &cpu_online_map); if ( vcpu_create(d, i, cpu) == NULL ) { - printk("Failed to allocate dom0 vcpu %d on pcpu %d\n", i, cpu); + printk("Failed to allocate %pd vcpu %d on pcpu %d\n", d, i, cpu); break; } -- 2.11.0 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel