1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 2008-2009
5 * Support for fast binary event logging.
7 * ---------------------------------------------------------------------------*/
12 #include "rts/EventLogFormat.h"
13 #include "Capability.h"
20 * Descriptions of EventTags for events.
22 extern char *EventTagDesc[];
24 void initEventLogging(void);
25 void endEventLogging(void);
26 void freeEventLogging(void);
29 * Post an event to the capability's event buffer.
31 void postSchedEvent(Capability *cap, EventTypeNum tag,
32 StgThreadID id, StgWord64 other);
34 void postMsg(char *msg, va_list ap);
36 void postUserMsg(Capability *cap, char *msg);
38 void postCapMsg(Capability *cap, char *msg, va_list ap);
42 INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED,
43 EventTypeNum tag STG_UNUSED,
44 StgThreadID id STG_UNUSED,
45 StgWord64 other STG_UNUSED)
48 INLINE_HEADER void postMsg (char *msg STG_UNUSED,
49 va_list ap STG_UNUSED)
52 INLINE_HEADER void postCapMsg (Capability *cap,
54 va_list ap STG_UNUSED)
61 #endif /* TRACING_H */