/* -----------------------------------------------------------------------------
- * $Id: Itimer.h,v 1.3 1999/02/05 16:02:44 simonm Exp $
+ * $Id: Itimer.h,v 1.11 2003/02/22 04:51:51 sof Exp $
*
- * (c) The GHC Team 1998-1999
+ * (c) The GHC Team 1998-2001
*
* Interval timer for profiling and pre-emptive scheduling.
*
* ---------------------------------------------------------------------------*/
+#ifndef __ITIMER_H__
+#define __ITIMER_H__
-nat initialize_virtual_timer ( nat ms );
-int install_vtalrm_handler ( void (*handler)(int) );
-void block_vtalrm_signal ( void );
-void unblock_vtalrm_signal ( void );
-
+extern int startTicker( nat ms );
+extern int stopTicker ( void );
+extern void block_vtalrm_signal ( void );
+extern void unblock_vtalrm_signal ( void );
+extern unsigned int getourtimeofday ( void );
+#endif /* __ITIMER_H__ */