#include "rts/EventLogFormat.h"
#include "Capability.h"
-BEGIN_RTS_PRIVATE
+#include "BeginPrivate.h"
#ifdef TRACING
void initEventLogging(void);
void endEventLogging(void);
void freeEventLogging(void);
+void abortEventLogging(void); // #4512 - after fork child needs to abort
+void flushEventLog(void); // event log inherited from parent
/*
- * Post an event to the capability's event buffer.
+ * Post a scheduler event to the capability's event buffer (an event
+ * that has an associated thread).
*/
void postSchedEvent(Capability *cap, EventTypeNum tag,
- StgThreadID id, StgWord64 other);
+ StgThreadID id, StgWord info1, StgWord info2);
+
+/*
+ * Post a nullary event.
+ */
+void postEvent(Capability *cap, EventTypeNum tag);
void postMsg(char *msg, va_list ap);
-void postCapMsg(Capability *cap, char *msg, va_list ap);
+void postUserMsg(Capability *cap, char *msg, va_list ap);
-void printAndClearEventLog(Capability *cap);
+void postCapMsg(Capability *cap, char *msg, va_list ap);
#else /* !TRACING */
INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED,
EventTypeNum tag STG_UNUSED,
StgThreadID id STG_UNUSED,
- StgWord64 other STG_UNUSED)
+ StgWord info1 STG_UNUSED,
+ StgWord info2 STG_UNUSED)
+{ /* nothing */ }
+
+INLINE_HEADER void postEvent (Capability *cap STG_UNUSED,
+ EventTypeNum tag STG_UNUSED)
{ /* nothing */ }
INLINE_HEADER void postMsg (char *msg STG_UNUSED,
va_list ap STG_UNUSED)
{ /* nothing */ }
-INLINE_HEADER void postCapMsg (Capability *cap,
+INLINE_HEADER void postCapMsg (Capability *cap STG_UNUSED,
char *msg STG_UNUSED,
va_list ap STG_UNUSED)
{ /* nothing */ }
#endif
-END_RTS_PRIVATE
+#include "EndPrivate.h"
#endif /* TRACING_H */