X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=rts%2FSchedule.h;h=e30e911e68e013c4063ad09c726febc0e8a2b8ef;hb=29e342d1903ba4cb4b58a66605f00920eddae7a5;hp=3adb70f4a80faa5796f8cc7c52221e28f80fdaec;hpb=5a2769f0273dd389977e8283375e7920d183bdd4;p=ghc-hetmet.git

diff --git a/rts/Schedule.h b/rts/Schedule.h
index 3adb70f..e30e911 100644
--- a/rts/Schedule.h
+++ b/rts/Schedule.h
@@ -43,6 +43,12 @@ void awakenBlockedQueue(StgBlockingQueueElement *q, StgClosure *node);
 void awakenBlockedQueue (Capability *cap, StgTSO *tso);
 #endif
 
+/* wakeUpRts()
+ * 
+ * Causes an OS thread to wake up and run the scheduler, if necessary.
+ */
+void wakeUpRts(void);
+
 /* unblockOne()
  *
  * Put the specified thread on the run queue of the given Capability.