From 9faeaee5f2e2069d0a589ce4fed7cacf46d53c20 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Tue, 19 Mar 2019 23:23:43 +0000 Subject: [PATCH] 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 Acked-by: Stefano Stabellini --- xen/arch/arm/kernel.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/kernel.c b/xen/arch/arm/kernel.c index d04a862f99..e3ffdb2fa1 100644 --- 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", -- 2.30.2