rts/Timer.h

   1 /* -----------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team, 1995-2006
   4  *
   5  * Interval timer service for profiling and pre-emptive scheduling.
   6  *
   7  * ---------------------------------------------------------------------------*/
   8
   9 #ifndef TIMER_H
  10 #define TIMER_H
  11
  12 typedef void (*TickProc)(int);
  13
  14 extern int startTimer(void);
  15 extern int stopTimer(void);
  16
  17 #endif /* TIMER_H */