Re: [Xen-devel] [PATCH v6 4/9] x86/mem_sharing: Replace MEM_SHARING_DEBUG with gdprintk

2020-01-28 Thread Jan Beulich
On 27.01.2020 19:06, Tamas K Lengyel wrote: > 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 Acked-by: Jan Beulich

[Xen-devel] [PATCH v6 4/9] x86/mem_sharing: Replace MEM_SHARING_DEBUG with gdprintk

2020-01-27 Thread Tamas K Lengyel
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 --- xen/arch/x86/mm/mem_sharing.c | 82 +-- 1 file changed, 41