<description>Exit from an IRQ</description>
</event>
+ <event name="printk">
+ <description>Kernel printk</description>
+ <field name="loglevel"> <description>loglevel</description>
+ <uint size="1"/>
+ </field>
+ <field name="text"> <description>printk string</description>
+ <sequence>
+ <uint/>
+ <uchar/>
+ </sequence>
+ </field>
+ </event>
+
+ <event name="printk_locate">
+ <description>Kernel printk location</description>
+ <field name="file"> <description>Source file</description>
+ <string/>
+ </field>
+ <field name="function"> <description>Function</description>
+ <string/>
+ </field>
+ <field name="line"> <description>Line in source file</description>
+ <uint/>
+ </field>
+ <field name="address"> <description>Caller address</description>
+ <pointer/>
+ </field>
+ </event>
+
</facility>