X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FTimer.h;h=f0b545991295cf0ecf6915e3097ace68c3f55ef7;hb=2fe38b5fb0957f9428864afd69ad3ccd82fae3d0;hp=6d3c4150b091846c87b5d5c701bab537cf5945dc;hpb=e30aca19def5c629a8429bd57e56535b7f8f85c8;p=ghc-hetmet.git diff --git a/rts/Timer.h b/rts/Timer.h index 6d3c415..f0b5459 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); +RTS_PRIVATE void initTimer (void); +RTS_PRIVATE void exitTimer (void); #endif /* TIMER_H */