Use timer_create() for the interval timer, if available
[ghc.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 */