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