#include "rts/EventLogFormat.h"
#include "Capability.h"
-#pragma GCC visibility push(hidden)
+BEGIN_RTS_PRIVATE
#ifdef TRACING
void postMsg(char *msg, va_list ap);
-void postCapMsg(Capability *cap, char *msg, va_list ap);
+void postUserMsg(Capability *cap, char *msg);
-void printAndClearEventLog(Capability *cap);
+void postCapMsg(Capability *cap, char *msg, va_list ap);
#else /* !TRACING */
#endif
-#pragma GCC visibility pop
+END_RTS_PRIVATE
#endif /* TRACING_H */