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

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

diff --git a/rts/Timer.h b/rts/Timer.h
index 6d3c415..59b695c 100644 (file)
--- a/rts/Timer.h
+++ b/rts/Timer.h
@@ -2,16 +2,16 @@
  *
  * (c) The GHC Team, 1995-2006
  *
- * Interval timer service for profiling and pre-emptive scheduling.
+ * Interface to the RTS timer signal (uses OS-dependent Ticker.h underneath)
  *
  * ---------------------------------------------------------------------------*/
 
 #ifndef TIMER_H
 #define TIMER_H
 
-typedef void (*TickProc)(int);
-
+extern void initTimer(void);
 extern void startTimer(void);
 extern void stopTimer(void);
+extern void exitTimer(void);
 
 #endif /* TIMER_H */