FIX #1623: disable the timer signal when the system is idle (threaded RTS only)

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

diff --git a/rts/Ticker.h b/rts/Ticker.h
index b06890a..a39e7d6 100644 (file)
--- a/rts/Ticker.h
+++ b/rts/Ticker.h
@@ -2,14 +2,18 @@
  *
  * (c) The GHC Team 2005
  *
- * Ticker interface (implementation is OS-specific)
+ * Interface to the OS-specific implementation of a regular time signal.
  *
  * ---------------------------------------------------------------------------*/
 
 #ifndef TICKER_H
 #define TICKER_H
 
-extern void startTicker( nat ms, TickProc handle_tick );
-extern void stopTicker ( void );
+typedef void (*TickProc)(int);
+
+extern void initTicker  (nat ms, TickProc handle_tick);
+extern void startTicker (void);
+extern void stopTicker  (void);
+extern void exitTicker  (void);
 
 #endif /* TICKER_H */