1 /* -----------------------------------------------------------------------------
2 * $Id: Proftimer.h,v 1.4 1999/08/25 16:11:50 simonmar Exp $
4 * (c) The GHC Team, 1998
6 * Profiling interval timer
8 * ---------------------------------------------------------------------------*/
10 extern lnat total_prof_ticks;
12 extern void initProfTimer(nat ms);
13 extern void stopProfTimer(void);
14 extern void startProfTimer(void);
15 extern void handleProfTick(int unused);