-<facility name=kernel>
+<?xml version="1.0"?>
+<facility name="kernel">
<description>The kernel facility has events related to kernel execution status.</description>
- <event name=syscall_entry>
- <description>System call entry</description>
- <field name="syscall_id"> <description>Syscall entry number in entry.S</description> <uint size=1/> </field>
- <field name="address"> <description>Address from which call was made</description> <pointer/> </field>
- </event>
-
- <event name=syscall_exit>
- <description>System call exit</description>
- </event>
-
- <event name=trap_entry>
+ <type name="tasklet_priority">
+ <enum>
+ <label name="LOW" value="0"> <description>Low priority tasklet</description>
+ <label name="HIGH" value="1"> <description>High priority tasklet</description>
+ </enum>
+ </type>
+
+ <type name="irq_mode">
+ <enum>
+ <label name="user" value="0"> <description>User context</description>
+ <label name="kernel" value="1"> <description>Kernel context</description>
+ </enum>
+ </type>
+
+ <event name="trap_entry">
<description>Entry in a trap</description>
- <field name="trap_id"> <description>Trap number</description> <uint size=2/> </field>
- <field name="address"> <description>Address where trap occured</description> <pointer/> </field>
+ <field name="trap_id"> <description>Trap number</description> <long> </field>
+ <field name="address"> <description>Address where trap occured</description> <pointer> </field>
</event>
- <event name=trap_exit>
+ <event name="trap_exit">
<description>Exit from a trap</description>
</event>
- <event name=soft_irq_entry>
+ <event name="soft_irq_entry">
<description>Soft IRQ entry</description>
- <field name="softirq_id"> <description>Soft IRQ number</description> <pointer/> </field>
+ <field name="softirq_id"> <description>Soft IRQ number</description> <pointer> </field>
</event>
- <event name=soft_irq_exit>
+ <event name="soft_irq_exit">
<description>Soft IRQ exit</description>
- <field name="softirq_id"> <description>Soft IRQ number</description> <pointer/> </field>
+ <field name="softirq_id"> <description>Soft IRQ number</description> <pointer> </field>
</event>
- <event name=tasklet_entry>
+ <event name="tasklet_entry">
<description>Tasklet entry</description>
- <field name="priority"> <description>Tasklet priority</description> <typeref name=tasklet_priority/> </field>
- <field name="address"> <description>Tasklet function address</description> <pointer/> </field>
- <field name="data"> <description>Tasklet data address</description> <ulong/> </field>
+ <field name="priority"> <description>Tasklet priority</description> <typeref name="tasklet_priority"> </field>
+ <field name="address"> <description>Tasklet function address</description> <pointer> </field>
+ <field name="data"> <description>Tasklet data address</description> <ulong> </field>
</event>
- <event name=tasklet_exit>
+ <event name="tasklet_exit">
<description>Tasklet exit</description>
- <field name="priority"> <description>Tasklet priority</description> <typeref name=tasklet_priority/> </field>
- <field name="address"> <description>Tasklet function address</description> <pointer/> </field>
- <field name="data"> <description>Tasklet data address</description> <ulong/> </field>
+ <field name="priority"> <description>Tasklet priority</description> <typeref name="tasklet_priority"> </field>
+ <field name="address"> <description>Tasklet function address</description> <pointer> </field>
+ <field name="data"> <description>Tasklet data address</description> <ulong> </field>
</event>
- <event name=irq_entry>
+ <event name="irq_entry">
<description>Entry in an irq</description>
- <field name="irq_id"> <description>IRQ number</description> <uint size=4/> </field>
- <field name="mode"> <description>Are we executing kernel code</description> <typeref name=irq_mode/> </field>
+ <field name="irq_id"> <description>IRQ number</description> <uint size="4"> </field>
+ <field name="mode"> <description>Are we executing kernel code</description><typeref name="irq_mode"> </field>
</event>
- <event name=irq_exit>
+ <event name="irq_exit">
<description>Exit from an IRQ</description>
</event>
- <type name=tasklet_priority>
- <enum>
- <label name=LOW value=0/> <description>Low priority tasklet</description>
- <label name=HIGH value=1/> <description>High priority tasklet</description>
- </enum>
- </type>
-
- <type name=irq_mode>
- <enum>
- <label name=user value=0/> <description>User context</description>
- <label name=kernel value=1/> <description>Kernel context</description>
- </enum>
- </type>
-
</facility>