X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsSignals.h;h=be21765dd699b9a994bc1e4fe957869e71245d8d;hb=b2bd63f99d643f6b3eb30bb72bb9ae26d4183252;hp=601a46b79c4b20f46d2c644a780fc4f9701d98f2;hpb=a2a67cd520b9841114d69a87a423dabcb3b4368e;p=ghc-hetmet.git

diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h
index 601a46b..be21765 100644
--- a/rts/RtsSignals.h
+++ b/rts/RtsSignals.h
@@ -25,12 +25,14 @@
 
 #if RTS_USER_SIGNALS
 
+#include "BeginPrivate.h"
+
 /*
  * Function: initUserSignals()
  *
  * Initialize the console handling substrate.
  */
-extern void initUserSignals(void);
+void initUserSignals(void);
 
 /*
  * Function: initDefaultHandlers()
@@ -38,34 +40,17 @@ extern void initUserSignals(void);
  * Install any default signal/console handlers. Currently we install a
  * Ctrl+C handler that shuts down the RTS in an orderly manner.
  */
-extern void initDefaultHandlers(void);
-extern void resetDefaultHandlers(void);
-
-extern void freeSignalHandlers(void);
-
-/*
- * Function: blockUserSignals()
- *
- * Temporarily block the delivery of further console events. Needed to
- * avoid race conditions when GCing the queue of outstanding handlers or
- * when emptying the queue by running the handlers.
- * 
- */
-extern void blockUserSignals(void);
+void initDefaultHandlers(void);
+void resetDefaultHandlers(void);
 
-/*
- * Function: unblockUserSignals()
- *
- * The inverse of blockUserSignals(); re-enable the deliver of console events.
- */
-extern void unblockUserSignals(void);
+void freeSignalHandlers(void);
 
 /*
  * Function: awaitUserSignals()
  *
  * Wait for the next console event. Currently a NOP (returns immediately.)
  */
-extern void awaitUserSignals(void);
+void awaitUserSignals(void);
 
 /*
  * Function: markSignalHandlers()
@@ -73,7 +58,9 @@ extern void awaitUserSignals(void);
  * Evacuate the handler queue. _Assumes_ that console event delivery
  * has already been blocked.
  */
-extern void markSignalHandlers (evac_fn evac, void *user);
+void markSignalHandlers (evac_fn evac, void *user);
+
+#include "EndPrivate.h"
 
 #endif /* RTS_USER_SIGNALS */