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 a scheduler event to the capability's event buffer (an event
30 * that has an associated thread).
32 void postSchedEvent(Capability *cap, EventTypeNum tag,
33 StgThreadID id, StgWord64 other);
36 * Post a nullary event.
38 void postEvent(Capability *cap, EventTypeNum tag);
40 void postMsg(char *msg, va_list ap);
42 void postUserMsg(Capability *cap, char *msg);
44 void postCapMsg(Capability *cap, char *msg, va_list ap);
48 INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED,
49 EventTypeNum tag STG_UNUSED,
50 StgThreadID id STG_UNUSED,
51 StgWord64 other STG_UNUSED)
54 INLINE_HEADER void postEvent (Capability *cap STG_UNUSED,
55 EventTypeNum tag STG_UNUSED)
58 INLINE_HEADER void postMsg (char *msg STG_UNUSED,
59 va_list ap STG_UNUSED)
62 INLINE_HEADER void postCapMsg (Capability *cap,
64 va_list ap STG_UNUSED)
71 #endif /* TRACING_H */