-INLINE_HEADER void postEvent(Capability *cap, EventTypeNum tag, StgThreadID id, StgWord64 other)
-{
- if (RtsFlags.EventLogFlags.doEventLogging) {
- postEvent_(cap, tag, id, other);
- }
-}
+void postSchedEvent(Capability *cap, EventTypeNum tag,
+ StgThreadID id, StgWord64 other);
+
+/*
+ * Post a nullary event.
+ */
+void postEvent(Capability *cap, EventTypeNum tag);
+
+void postMsg(char *msg, va_list ap);
+
+void postUserMsg(Capability *cap, char *msg, va_list ap);
+
+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)
+{ /* nothing */ }