FIX #1623: disable the timer signal when the system is idle (threaded RTS only)
[ghc.git] / rts / Ticker.h
1 /* -----------------------------------------------------------------------------
2 *
3 * (c) The GHC Team 2005
4 *
5 * Interface to the OS-specific implementation of a regular time signal.
6 *
7 * ---------------------------------------------------------------------------*/
8
9 #ifndef TICKER_H
10 #define TICKER_H
11
12 typedef void (*TickProc)(int);
13
14 extern void initTicker (nat ms, TickProc handle_tick);
15 extern void startTicker (void);
16 extern void stopTicker (void);
17 extern void exitTicker (void);
18
19 #endif /* TICKER_H */