Refactoring only

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

diff --git a/rts/sm/Sanity.h b/rts/sm/Sanity.h
new file mode 100644 (file)
index 0000000..1156222
--- /dev/null
+++ b/rts/sm/Sanity.h
@@ -0,0 +1,47 @@
+/* -----------------------------------------------------------------------------
+ *
+ * (c) The GHC Team, 1998-1999
+ *
+ * Prototypes for functions in Sanity.c
+ *
+ * ---------------------------------------------------------------------------*/
+
+#ifndef SANITY_H
+#define SANITY_H
+
+#ifdef DEBUG
+
+BEGIN_RTS_PRIVATE
+
+# if defined(PAR)
+# define PVM_PE_MASK    0xfffc0000
+# define MAX_PVM_PES    MAX_PES
+# define MAX_PVM_TIDS   MAX_PES
+# define MAX_SLOTS      100000
+# endif
+
+/* debugging routines */
+void checkSanity        ( rtsBool check_heap );
+void checkNurserySanity ( step *stp );
+void checkHeap          ( bdescr *bd );
+void checkHeapChunk     ( StgPtr start, StgPtr end );
+void checkLargeObjects  ( bdescr *bd );
+void checkTSO           ( StgTSO* tso );
+void checkGlobalTSOList ( rtsBool checkTSOs );
+void checkStaticObjects ( StgClosure* static_objects );
+void checkStackChunk    ( StgPtr sp, StgPtr stack_end );
+StgOffset checkStackFrame ( StgPtr sp );
+StgOffset checkClosure  ( StgClosure* p );
+
+void checkMutableList   ( bdescr *bd, nat gen );
+void checkMutableLists  ( rtsBool checkTSOs );
+
+void memInventory (rtsBool show);
+
+void checkBQ (StgTSO *bqe, StgClosure *closure);
+
+END_RTS_PRIVATE
+
+#endif /* DEBUG */
+ 
+#endif /* SANITY_H */