Use timer_create() for the interval timer, if available
[ghc-hetmet.git] / rts / Ticker.h
1 /* -----------------------------------------------------------------------------
2  *
3  * (c) The GHC Team 2005
4  *
5  * Ticker interface (implementation is OS-specific)
6  *
7  * ---------------------------------------------------------------------------*/
8
9 #ifndef TICKER_H
10 #define TICKER_H
11
12 extern void startTicker( nat ms, TickProc handle_tick );
13 extern void stopTicker ( void );
14
15 #endif /* TICKER_H */