d1795f42 |
1 | <?xml version="1.0"?> |
2 | <facility name="locking"> |
51c210ee |
3 | <description>The locking facility instruments the kernel locking.</description> |
d1795f42 |
4 | <event name="spin_lock_wait"> |
51c210ee |
5 | <description>Takes a spinlock</description> |
d1795f42 |
6 | <field name="spinlock"> <description>Spinlock address</description> <pointer> </field> |
51c210ee |
7 | </event> |
8 | |
d1795f42 |
9 | <event name="spin_lock_try"> |
51c210ee |
10 | <description>Tries a spinlock</description> |
d1795f42 |
11 | <field name="spinlock"> <description>Spinlock address</description> <pointer> </field> |
51c210ee |
12 | </event> |
13 | |
d1795f42 |
14 | <event name="spin_lock_entry"> |
51c210ee |
15 | <description>Get a spinlock</description> |
d1795f42 |
16 | <field name="spinlock"> <description>Spinlock address</description> <pointer> </field> |
51c210ee |
17 | </event> |
18 | |
d1795f42 |
19 | <event name="spin_lock_exit"> |
51c210ee |
20 | <description>Releases a spinlock</description> |
d1795f42 |
21 | <field name="spinlock"> <description>Spinlock address</description> <pointer> </field> |
51c210ee |
22 | </event> |
23 | |
c389e9d6 |
24 | <event name="irq_save"> |
25 | <description>Disable IRQ, saving state</description> |
26 | <field name="EIP"> |
27 | <description>Instruction pointer where the irq_save is located.</description> |
28 | <pointer> |
29 | </field> |
30 | <field name="flags"> |
31 | <description>Saved IRQ state.</description> |
32 | <ulong> |
33 | </field> |
34 | </event> |
35 | |
36 | <event name="irq_restore"> |
37 | <description>Disable IRQ, saving state</description> |
38 | <field name="EIP"> |
39 | <description>Instruction pointer where the irq_restore is located.</description> |
40 | <pointer> |
41 | </field> |
42 | <field name="flags"> |
43 | <description>Restored IRQ state.</description> |
44 | <ulong> |
45 | </field> |
46 | </event> |
47 | |
48 | <event name="irq_disable"> |
49 | <description>Disable IRQ</description> |
50 | <field name="EIP"> |
51 | <description>Instruction pointer where the irq_disable is located.</description> |
52 | <pointer> |
53 | </field> |
54 | </event> |
55 | |
56 | <event name="irq_enable"> |
57 | <description>Disable IRQ</description> |
58 | <field name="EIP"> |
59 | <description>Instruction pointer where the irq_enable is located.</description> |
60 | <pointer> |
61 | </field> |
62 | </event> |
51c210ee |
63 | |
64 | </facility> |