diff options
Diffstat (limited to 'rts/Ticker.h')
| -rw-r--r-- | rts/Ticker.h | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/rts/Ticker.h b/rts/Ticker.h index b06890a049..a39e7d69c1 100644 --- 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 */ |