diff options
Diffstat (limited to 'rts/Timer.h')
| -rw-r--r-- | rts/Timer.h | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/rts/Timer.h b/rts/Timer.h new file mode 100644 index 0000000000..ae26653462 --- /dev/null +++ b/rts/Timer.h @@ -0,0 +1,24 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team, 1995-2005 + * + * Interval timer service for profiling and pre-emptive scheduling. + * + * ---------------------------------------------------------------------------*/ + +#ifndef TIMER_H +#define TIMER_H + +# define TICK_MILLISECS (1000/TICK_FREQUENCY) /* ms per tick */ + +/* Context switch timing constants. Context switches happen after a + * whole number of ticks, the default being every tick. + */ +#define CS_MIN_MILLISECS TICK_MILLISECS /* milliseconds per slice */ + +typedef void (*TickProc)(int); + +extern int startTimer(nat ms); +extern int stopTimer(void); + +#endif /* TIMER_H */ |