#include "rts/OSThreads.h"
#include "Capability.h"
-#include "eventlog/EventLog.h"
+#include "Trace.h"
+
+BEGIN_RTS_PRIVATE
/* initScheduler(), exitScheduler()
* Called from STG : no
setTSOLink(cap, cap->run_queue_tl, tso);
}
cap->run_queue_tl = tso;
- postEvent (cap, EVENT_THREAD_RUNNABLE, tso->id, 0);
+ traceSchedEvent (cap, EVENT_THREAD_RUNNABLE, tso, 0);
}
/* Push a thread on the beginning of the run queue.
#endif /* !IN_STG_CODE */
+END_RTS_PRIVATE
+
#endif /* SCHEDULE_H */