includes/rts/Timer.h

   1 /* -----------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team, 1995-2006
   4  *
   5  * Interface to the RTS timer signal (uses OS-dependent Ticker.h underneath)
   6  *
   7  * ---------------------------------------------------------------------------*/
   8
   9 #ifndef RTS_TIMER_H
  10 #define RTS_TIMER_H
  11
  12 void startTimer (void);
  13 void stopTimer  (void);
  14
  15 #endif /* RTS_TIMER_H */