merge upstream HEAD

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

diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h
index 3b569df..be21765 100644 (file)
--- a/rts/RtsSignals.h
+++ b/rts/RtsSignals.h
@@ -25,7 +25,7 @@
 
 #if RTS_USER_SIGNALS
 
-#pragma GCC visibility push(hidden)
+#include "BeginPrivate.h"
 
 /*
  * Function: initUserSignals()
@@ -46,23 +46,6 @@ void resetDefaultHandlers(void);
 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.
- * 
- */
-void blockUserSignals(void);
-
-/*
- * Function: unblockUserSignals()
- *
- * The inverse of blockUserSignals(); re-enable the deliver of console events.
- */
-void unblockUserSignals(void);
-
-/*
  * Function: awaitUserSignals()
  *
  * Wait for the next console event. Currently a NOP (returns immediately.)
@@ -77,7 +60,7 @@ void awaitUserSignals(void);
  */
 void markSignalHandlers (evac_fn evac, void *user);
 
-#pragma GCC visibility pop
+#include "EndPrivate.h"
 
 #endif /* RTS_USER_SIGNALS */