[project @ 2000-01-13 14:33:57 by hwloidl]

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

diff --git a/ghc/rts/Sanity.h b/ghc/rts/Sanity.h
index 6ab9c84..1bd2157 100644 (file)
--- a/ghc/rts/Sanity.h
+++ b/ghc/rts/Sanity.h
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Sanity.h,v 1.4 1999/02/05 16:02:52 simonm Exp $
+ * $Id: Sanity.h,v 1.5 2000/01/13 14:34:04 hwloidl Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -13,6 +13,11 @@ extern void checkHeap  ( bdescr *bd, StgPtr start );
 extern void checkChain ( bdescr *bd );
 extern void checkStack ( StgPtr sp, StgPtr stack_end, StgUpdateFrame* su );
 extern void checkTSO   ( StgTSO* tso );
+#if defined(GRAN)
+extern void checkTSOsSanity(void);
+extern rtsBool checkThreadQSanity (PEs proc, rtsBool check_TSO_too);
+extern rtsBool checkThreadQsSanity (rtsBool check_TSO_too);
+#endif
 
 extern StgOffset checkClosure( StgClosure* p );