xen/arm: kernel: Remove Dom prefix when using %pd format
authorJulien Grall <julien.grall@arm.com>
Tue, 19 Mar 2019 23:23:43 +0000 (23:23 +0000)
committerWei Liu <wei.liu2@citrix.com>
Mon, 13 May 2019 10:28:03 +0000 (11:28 +0100)
commit9faeaee5f2e2069d0a589ce4fed7cacf46d53c20
treef8b30b6160aac287c83f70c44b3a587e53c2cd8e
parente9986b0dd66608af54d03b1dc9facc80b162dbaa
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>
xen/arch/arm/kernel.c