1 /* -----------------------------------------------------------------------------
2 * $Id: Itimer.h,v 1.5 2000/03/20 09:42:49 andy Exp $
4 * (c) The GHC Team 1998-1999
6 * Interval timer for profiling and pre-emptive scheduling.
8 * ---------------------------------------------------------------------------*/
10 # define TICK_FREQUENCY 50 /* ticks per second */
11 # define TICK_MILLISECS (1000/TICK_FREQUENCY) /* ms per tick */
13 extern rtsBool do_prof_ticks; /* profiling ticks on/off */
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 );