#if RTS_USER_SIGNALS
+BEGIN_RTS_PRIVATE
+
/*
* Function: initUserSignals()
*
* Initialize the console handling substrate.
*/
-extern void initUserSignals(void);
+void initUserSignals(void);
/*
* Function: initDefaultHandlers()
* 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()
* 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);
+
+END_RTS_PRIVATE
#endif /* RTS_USER_SIGNALS */