X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FSanity.h;h=3020246a70156c6997879b49278d7306e21433c2;hb=b99af8633eff2cba0128fa874e1ecbea0d1647fd;hp=65d70539b0773114c03c2cd6d1ff2a0e252bb9ea;hpb=9c0e08c67eee8918336c1b8dce162343a312057c;p=ghc-hetmet.git diff --git a/rts/Sanity.h b/rts/Sanity.h index 65d7053..3020246 100644 --- a/rts/Sanity.h +++ b/rts/Sanity.h @@ -7,6 +7,7 @@ * ---------------------------------------------------------------------------*/ #ifndef SANITY_H +#define SANITY_H #ifdef DEBUG @@ -31,22 +32,7 @@ extern StgOffset checkClosure ( StgClosure* p ); extern void checkMutableList ( bdescr *bd, nat gen ); extern void checkMutableLists ( rtsBool checkTSOs ); -#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); -#else extern void checkBQ (StgTSO *bqe, StgClosure *closure); -#endif - -#if defined(PAR) -extern void checkLAGAtable(rtsBool check_closures); -extern void checkHeapChunk(StgPtr start, StgPtr end); -#endif /* test whether an object is already on update list */ extern rtsBool isBlackhole( StgTSO* tso, StgClosure* p ); @@ -54,4 +40,3 @@ extern rtsBool isBlackhole( StgTSO* tso, StgClosure* p ); #endif /* DEBUG */ #endif /* SANITY_H */ -