Header for the event records. More...
#include <instrumentation.h>
Header for the event records.
Event type.