x86/mem_sharing: replace MEM_SHARING_DEBUG with gdprintk
authorTamas K Lengyel <tamas.lengyel@intel.com>
Wed, 29 Jan 2020 13:48:15 +0000 (14:48 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 29 Jan 2020 13:48:15 +0000 (14:48 +0100)
commit81a3080a3f292e845ff5c1f9c3726219e9a5da2b
tree505685d492f07f32074738acfc4cae4da618e336
parent782b48b7f7319c07b044606d67a60875e53dd05b
x86/mem_sharing: replace MEM_SHARING_DEBUG with gdprintk

Using XENLOG_ERR level since this is only used in debug paths (ie. it's
expected the user already has loglvl=all set). Also use %pd to print the domain
ids.

Signed-off-by: Tamas K Lengyel <tamas.lengyel@intel.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/mm/mem_sharing.c