<facility name=kernel>
<description>The kernel facility has events related to kernel execution status.</description>
+ <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=syscall_entry>
<description>System call entry</description>
<field name="syscall_id"> <description>Syscall entry number in entry.S</description> <uint size=1/> </field>
<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>