-INLINE_HEADER void postEvent(Capability *cap STG_UNUSED,
- EventTypeNum tag STG_UNUSED,
- StgThreadID id STG_UNUSED,
- nat from STG_UNUSED)
-{
- /* nothing */
-}
+void postEventStartup(EventCapNo n_caps);
+
+/*
+ * Post a capability set modification event
+ */
+void postCapsetModifyEvent (EventTypeNum tag,
+ EventCapsetID capset,
+ StgWord32 other);
+
+/*
+ * Post a capability set event with a string payload
+ */
+void postCapsetStrEvent (EventTypeNum tag,
+ EventCapsetID capset,
+ char *msg);
+
+/*
+ * Post a capability set event with several strings payload
+ */
+void postCapsetVecEvent (EventTypeNum tag,
+ EventCapsetID capset,
+ int argc,
+ char *msg[]);
+
+#else /* !TRACING */
+
+INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED,
+ EventTypeNum tag STG_UNUSED,
+ StgThreadID id 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 STG_UNUSED,
+ char *msg STG_UNUSED,
+ va_list ap STG_UNUSED)
+{ /* nothing */ }