#include "Capability.h"
#include "Trace.h"
-#pragma GCC visibility push(hidden)
+BEGIN_RTS_PRIVATE
/* initScheduler(), exitScheduler()
* Called from STG : no
#endif /* !IN_STG_CODE */
-#pragma GCC visibility pop
+END_RTS_PRIVATE
#endif /* SCHEDULE_H */