xen/vsprintf: Introduce %pd formatter for domains
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 29 Aug 2018 16:16:50 +0000 (16:16 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 1 Oct 2018 11:37:45 +0000 (12:37 +0100)
commit5c28a3c6814cc3a054fde133c0f6ef77d80c0412
tree208b26b6a3019a2a3458a470084003349626f56b
parentfa7974f743b2d95af1d0983f86e8be0ed9a9e4be
xen/vsprintf: Introduce %pd formatter for domains

This allows all system domids to be printed by name, rather than special
casing the idle vcpus alone.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
docs/misc/printk-formats.txt
xen/common/vsprintf.c