X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=rts%2Feventlog%2FEventLog.h;h=e2b8043f7e508d5427ee2433faaa5f2119ca6e62;hb=f65bf7559b3e92607cfcf7a334e9994891dd9c32;hp=364d12a3a60dd4a6ba0d13bceaaf5d6f0268bfe6;hpb=d71615757d0462b1721ee3664c5fa9f79325d666;p=ghc-hetmet.git

diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h
index 364d12a..e2b8043 100644
--- a/rts/eventlog/EventLog.h
+++ b/rts/eventlog/EventLog.h
@@ -26,13 +26,21 @@ void endEventLogging(void);
 void freeEventLogging(void);
 
 /* 
- * 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);
 
+/*
+ * Post a nullary event.
+ */
+void postEvent(Capability *cap, EventTypeNum tag);
+
 void postMsg(char *msg, va_list ap);
 
+void postUserMsg(Capability *cap, char *msg);
+
 void postCapMsg(Capability *cap, char *msg, va_list ap);
 
 #else /* !TRACING */
@@ -43,6 +51,10 @@ INLINE_HEADER void postSchedEvent (Capability *cap  STG_UNUSED,
                                    StgWord64 other  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 */ }