[project @ 2000-06-19 10:59:56 by simonmar]

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

diff --git a/ghc/rts/Sanity.h b/ghc/rts/Sanity.h
index 7fc6b4f..461da8b 100644 (file)
--- a/ghc/rts/Sanity.h
+++ b/ghc/rts/Sanity.h
@@ -1,5 +1,7 @@
 /* -----------------------------------------------------------------------------
- * $Id: Sanity.h,v 1.2 1998/12/02 13:28:44 simonm Exp $
+ * $Id: Sanity.h,v 1.6 2000/03/31 03:09:36 hwloidl Exp $
+ *
+ * (c) The GHC Team, 1998-1999
  *
  * Prototypes for functions in Sanity.c
  *
@@ -7,9 +9,24 @@
 
 #ifdef DEBUG
 /* debugging routines */
-extern void checkHeap  ( bdescr *bd, nat step );
+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, nat step );
+extern void checkTSO   ( StgTSO* tso );
+extern void checkGlobalTSOList (rtsBool checkTSOs);
+extern void checkStaticObjects ( void );
+#if defined(GRAN)
+extern void checkTSOsSanity(void);
+extern rtsBool checkThreadQSanity (PEs proc, rtsBool check_TSO_too);
+extern rtsBool checkThreadQsSanity (rtsBool check_TSO_too);
+#endif
+#if defined(PAR)
+extern void checkBQ (StgBlockingQueueElement *bqe, StgClosure *closure);
+extern void checkLAGAtable(rtsBool check_closures);
+extern void checkHeapChunk(StgPtr start, StgPtr end);
+#else
+extern void checkBQ (StgTSO *bqe, StgClosure *closure);
+#endif
 
 extern StgOffset checkClosure( StgClosure* p );