X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FTimer.h;h=c679a5881a1f6dfa9472d19b668c2497e6d1ca45;hb=b0758d03f1a00ab0adf57f8157602ef22e8cdd13;hp=6d3c4150b091846c87b5d5c701bab537cf5945dc;hpb=e30aca19def5c629a8429bd57e56535b7f8f85c8;p=ghc-hetmet.git

diff --git a/rts/Timer.h b/rts/Timer.h
index 6d3c415..c679a58 100644
--- a/rts/Timer.h
+++ b/rts/Timer.h
@@ -2,16 +2,14 @@
  *
  * (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 startTimer(void);
-extern void stopTimer(void);
+void initTimer (void);
+void exitTimer (void);
 
 #endif /* TIMER_H */