xen/arm: kernel: Remove Dom prefix when using %pd format

The format %pd will already prefix the domain ID with 'd'. So avoid to
prefix with 'Dom'.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>

diff --git a/xen/arch/arm/kernel.c b/xen/arch/arm/kernel.c
index d04a862f99f0b3bac50e584058da6e19f013eb2e..e3ffdb2fa1cb4aa21f2cb9dd07a0ab8cc5cb9bc1 100644 (file)
--- a/xen/arch/arm/kernel.c
+++ b/xen/arch/arm/kernel.c
@@ -484,7 +484,7 @@ int __init kernel_probe(struct kernel_info *info,
         return -ENOENT;
     }
 
-    printk("Loading Dom%pd kernel from boot module @ %"PRIpaddr"\n",
+    printk("Loading %pd kernel from boot module @ %"PRIpaddr"\n",
            info->d, info->kernel_bootmodule->start);
     if ( info->initrd_bootmodule )
         printk("Loading ramdisk from boot module @ %"PRIpaddr"\n",