ghc/rts/Itimer.h

   1 /* -----------------------------------------------------------------------------
   2  * $Id: Itimer.h,v 1.5 2000/03/20 09:42:49 andy Exp $
   3  *
   4  * (c) The GHC Team 1998-1999
   5  *
   6  * Interval timer for profiling and pre-emptive scheduling.
   7  *
   8  * ---------------------------------------------------------------------------*/
   9
  10 # define TICK_FREQUENCY   50                      /* ticks per second */
  11 # define TICK_MILLISECS   (1000/TICK_FREQUENCY)   /* ms per tick */
  12
  13 extern rtsBool do_prof_ticks;   /* profiling ticks on/off */
  14
  15 nat  initialize_virtual_timer  ( nat ms );
  16 int  install_vtalrm_handler    ( void );
  17 void block_vtalrm_signal       ( void );
  18 void unblock_vtalrm_signal     ( void );
  19 unsigned int getourtimeofday   ( void );