Files
xen/docs/misc/printk-formats.txt
T
Jan Beulich 2315025cce vsprintf: introduce %pv extended format specifier to print domain/vcpu ID pair
... in a simplified and consistent way.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
2014-02-28 17:04:04 +01:00

21 lines
765 B
Plaintext

Xen custom %p format options. A subset, borrowed from Linux.
All parameters to a %p option should be compatible with void*. Regular
pointers are fine. Numbers should make use of the _p() macro.
Symbol/Function pointers:
%ps Symbol name with condition offset and size (iff offset != 0)
e.g. printk
default_idle+0x78/0x7d
%pS Symbol name with unconditional offset and size
e.g. printk+0/0x48
default_idle+0x78/0x7d
In the case that an appropriate symbol name can't be found, %p[sS] will
fall back to '%p' and print the address in hex.
%pv Domain and vCPU ID from a 'struct vcpu *' (printed as
"d<domid>v<vcpuid>")