Move a thread to the front of the run queue when another thread blocks on it

[ghc-hetmet.git] / rts / sm / Sanity.h

diff --git a/rts/sm/Sanity.h b/rts/sm/Sanity.h
index 38a7289..5c963b4 100644 (file)
--- a/rts/sm/Sanity.h
+++ b/rts/sm/Sanity.h
@@ -36,6 +36,8 @@ StgOffset checkClosure  ( StgClosure* p );
 void checkMutableList   ( bdescr *bd, nat gen );
 void checkMutableLists  ( rtsBool checkTSOs );
 
+void checkRunQueue      (Capability *cap);
+
 void memInventory (rtsBool show);
 
 void checkBQ (StgTSO *bqe, StgClosure *closure);