#include "rts/EventLogFormat.h"
#include "Capability.h"
-BEGIN_RTS_PRIVATE
+#include "BeginPrivate.h"
#ifdef TRACING
void postMsg(char *msg, va_list ap);
-void postUserMsg(Capability *cap, char *msg);
+void postUserMsg(Capability *cap, char *msg, va_list ap);
void postCapMsg(Capability *cap, char *msg, va_list ap);
va_list ap STG_UNUSED)
{ /* nothing */ }
-INLINE_HEADER void postCapMsg (Capability *cap,
+INLINE_HEADER void postCapMsg (Capability *cap STG_UNUSED,
char *msg STG_UNUSED,
va_list ap STG_UNUSED)
{ /* nothing */ }
#endif
-END_RTS_PRIVATE
+#include "EndPrivate.h"
#endif /* TRACING_H */