+void postMsg(char *msg, va_list ap)
+{
+ ACQUIRE_LOCK(&eventBufMutex);
+ postLogMsg(&eventBuf, EVENT_LOG_MSG, msg, ap);
+ RELEASE_LOCK(&eventBufMutex);
+}
+
+void postCapMsg(Capability *cap, char *msg, va_list ap)
+{
+ postLogMsg(&capEventBuf[cap->no], EVENT_LOG_MSG, msg, ap);
+}
+
+void postUserMsg(Capability *cap, char *msg, va_list ap)
+{
+ postLogMsg(&capEventBuf[cap->no], EVENT_USER_MSG, msg, ap);
+}
+