blob: 8f666f696a5460cc94e5d7aeb070f8975511fbb1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
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.
Raw buffer as hex string:
%*ph 00 01 02 ... 3f
%*phC 00:01:02: ... :3f
%*phD 00-01-02- ... -3f
%*phN 000102 ... 3f
Up to 64 characters. Buffer length expected via the field_width
paramter. i.e. printk("%*ph", 8, buffer);
Bitmaps (e.g. cpumask/nodemask):
%*pb 4321
%*pbl 0,5,8-9,14
Print a bitmap as either a hex string, or a range list. Bitmap length
(in bits) expected via the field_width parameter.
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.
Domain and vCPU information:
%pd Domain from a 'struct domain *'
Regular domains are printed with their ID in decimal. System
domains are printed with their name.
e.g. d0
d[IDLE]
%pv Domain and vCPU ID from a 'struct vcpu *'
The domain part as above, with the vcpu_id printed in decimal.
e.g. d0v1
d[IDLE]v0
PCI:
%pp PCI device address in S:B:D.F format from a pci_sbdf_t.
e.g. 0004:02:00.0
|
