X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FSanity.h;h=48f3383714625e26f3401d02f9c25443bca0f520;hb=432b9c9322181a3644083e3c19b7e240d90659e7;hp=65d70539b0773114c03c2cd6d1ff2a0e252bb9ea;hpb=9c0e08c67eee8918336c1b8dce162343a312057c;p=ghc-hetmet.git diff --git a/rts/Sanity.h b/rts/Sanity.h index 65d7053..48f3383 100644 --- a/rts/Sanity.h +++ b/rts/Sanity.h @@ -31,22 +31,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 );