1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 2008-2009
5 * Support for fast binary event logging.
7 * ---------------------------------------------------------------------------*/
12 #include "Capability.h"
13 #include "EventLogFormat.h"
18 * Descriptions of EventTags for events.
20 extern char *EventTagDesc[];
22 void initEventLogging(void);
23 void endEventLogging(void);
24 void freeEventLogging(void);
26 void postEvent_(Capability *cap, EventTypeNum tag, StgThreadID id, StgWord64 other);
29 * Post an event to the capability's event buffer.
31 INLINE_HEADER void postEvent(Capability *cap, EventTypeNum tag, StgThreadID id, StgWord64 other)
33 if (RtsFlags.EventLogFlags.doEventLogging) {
34 postEvent_(cap, tag, id, other);
38 void printAndClearEventLog(Capability *cap);
42 INLINE_HEADER void postEvent(Capability *cap STG_UNUSED,
43 EventTypeNum tag STG_UNUSED,
44 StgThreadID id STG_UNUSED,
45 StgWord64 other STG_UNUSED)
52 #endif /* EVENTLOG_H */