#include "Trace.h"
#include "Capability.h"
-#include "Trace.h"
#include "RtsUtils.h"
#include "Stats.h"
#include "EventLog.h"
for (c = 0; c < n_caps; ++c) {
postBlockMarker(&capEventBuf[c]);
}
+
+#ifdef THREADED_RTS
+ initMutex(&eventBufMutex);
+#endif
}
void
postLogMsg(&capEventBuf[cap->no], EVENT_LOG_MSG, msg, ap);
}
-void postUserMsg(Capability *cap, char *msg)
+void postUserMsg(Capability *cap, char *msg, va_list ap)
{
- postLogMsg(&capEventBuf[cap->no], EVENT_USER_MSG, msg, NULL);
+ postLogMsg(&capEventBuf[cap->no], EVENT_USER_MSG, msg, ap);
}
void closeBlockMarker (EventsBuf *ebuf)