#include "rts/OSThreads.h"
#include "Capability.h"
-#include "eventlog/EventLog.h"
+#include "Trace.h"
-#pragma GCC visibility push(hidden)
+BEGIN_RTS_PRIVATE
/* initScheduler(), exitScheduler()
* Called from STG : no
* NOTE: tso->link should be END_TSO_QUEUE before calling this macro.
* ASSUMES: cap->running_task is the current task.
*/
-INLINE_HEADER void
+EXTERN_INLINE void
+appendToRunQueue (Capability *cap, StgTSO *tso);
+
+EXTERN_INLINE void
appendToRunQueue (Capability *cap, StgTSO *tso)
{
ASSERT(tso->_link == END_TSO_QUEUE);
setTSOLink(cap, cap->run_queue_tl, tso);
}
cap->run_queue_tl = tso;
- postEvent (cap, EVENT_THREAD_RUNNABLE, tso->id, 0);
+ traceEventThreadRunnable (cap, tso);
}
/* Push a thread on the beginning of the run queue.
#endif /* !IN_STG_CODE */
-#pragma GCC visibility pop
+END_RTS_PRIVATE
#endif /* SCHEDULE_H */