On Tue, 19 Mar 2019, Julien Grall wrote:
> The format %pd will already prefix the domain ID with 'd'. So avoid to
> prefix with 'Dom'.
>
> Signed-off-by: Julien Grall <julien.gr...@arm.com>
Acked-by: Stefano Stabellini <sstabell...@kernel.org>
> ---
> 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.11.0
>
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
