xen/arm: domain_build: Print the correct domain in construct_domain()
authorJulien Grall <julien.grall@arm.com>
Thu, 15 Aug 2019 17:34:21 +0000 (18:34 +0100)
committerJulien Grall <julien.grall@arm.com>
Wed, 2 Oct 2019 08:23:38 +0000 (09:23 +0100)
commit940731ecc066781b35ece890ebb2a275c86027a5
treec067042f333d5bbd4c2c375866e6f7a7cf4c60a0
parent671878779741b38c5f2363adceef8de2ce0b3945
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>
xen/arch/arm/domain_build.c