1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 1995-2003
5 * Interval timer service for profiling and pre-emptive scheduling.
7 * ---------------------------------------------------------------------------*/
11 # define TICK_MILLISECS (1000/TICK_FREQUENCY) /* ms per tick */
13 /* Context switch timing constants. Context switches happen after a
14 * whole number of ticks, the default being every tick.
16 #define CS_MIN_MILLISECS TICK_MILLISECS /* milliseconds per slice */
18 typedef void (*TickProc)(int);
20 extern int startTimer(nat ms);
21 extern int stopTimer(void);
22 #endif /* __TIMER_H__ */