</struct>
</event>
+ <event name=time_heartbeat>
+ <description>System time values sent periodically to detect cycle counter
+ rollovers. Useful when only the 32 LSB of the TSC are saved in events
+ header : we save the full 64 bits in this event.
+ </description>
+ <typeref name=timestamp/>
+ </event>
+
+ <event name=state_dump_facility_load>
+ <description>Facility is loaded while in state dump</description>
+ <struct>
+ <field name="name"><string/></field>
+ <field name="checksum"><uint size=4/></field>
+ <field name="id"><uint size=4/></field>
+ <field name="long_size"><uint size=4/></field>
+ <field name="pointer_size"><uint size=4/></field>
+ <field name="size_t_size"><uint size=4/></field>
+ <field name="alignment"><uint size=4/></field>
+ </struct>
+ </event>
+
+ <type name=timestamp>
+ <struct>
+ <field name="seconds"><uint size=4/></field>
+ <field name="nanoseconds"><uint size=4/></field>
+ <field name="cycle_count"><uint size=8/></field>
+ </struct>
+ </type>
+
</facility>