2 <facility name=
"kernel">
3 <description>The kernel facility has events related to kernel execution status.
</description>
5 <type name=
"tasklet_priority">
7 <label name=
"LOW" value=
"0"/> <description>Low priority tasklet
</description>
8 <label name=
"HIGH" value=
"1"/> <description>High priority tasklet
</description>
12 <type name=
"irq_mode">
14 <label name=
"user" value=
"0"/> <description>User context
</description>
15 <label name=
"kernel" value=
"1"/> <description>Kernel context
</description>
19 <event name=
"trap_entry">
20 <description>Entry in a trap
</description>
21 <field name=
"trap_id"> <description>Trap number
</description> <long/> </field>
22 <field name=
"address"> <description>Address where trap occured
</description> <pointer/> </field>
25 <event name=
"trap_exit">
26 <description>Exit from a trap
</description>
29 <event name=
"soft_irq_entry">
30 <description>Soft IRQ entry
</description>
31 <field name=
"softirq_id"> <description>Soft IRQ number
</description> <pointer/> </field>
34 <event name=
"soft_irq_exit">
35 <description>Soft IRQ exit
</description>
36 <field name=
"softirq_id"> <description>Soft IRQ number
</description> <pointer/> </field>
39 <event name=
"tasklet_entry">
40 <description>Tasklet entry
</description>
41 <field name=
"priority"> <description>Tasklet priority
</description> <typeref name=
"tasklet_priority"/> </field>
42 <field name=
"address"> <description>Tasklet function address
</description> <pointer/> </field>
43 <field name=
"data"> <description>Tasklet data address
</description> <ulong/> </field>
46 <event name=
"tasklet_exit">
47 <description>Tasklet exit
</description>
48 <field name=
"priority"> <description>Tasklet priority
</description> <typeref name=
"tasklet_priority"/> </field>
49 <field name=
"address"> <description>Tasklet function address
</description> <pointer/> </field>
50 <field name=
"data"> <description>Tasklet data address
</description> <ulong/> </field>
53 <event name=
"irq_entry">
54 <description>Entry in an irq
</description>
55 <field name=
"irq_id"> <description>IRQ number
</description> <uint size=
"4"/> </field>
56 <field name=
"mode"> <description>Are we executing kernel code
</description><typeref name=
"irq_mode"/> </field>
59 <event name=
"irq_exit">
60 <description>Exit from an IRQ
</description>