Proftimer.h 461 Bytes
Newer Older
1
/* -----------------------------------------------------------------------------
2
 * $Id: Proftimer.h,v 1.4 1999/08/25 16:11:50 simonmar Exp $
3 4 5 6 7 8 9
 *
 * (c) The GHC Team, 1998
 *
 * Profiling interval timer
 *
 * ---------------------------------------------------------------------------*/

10 11
extern lnat total_prof_ticks;

12 13 14
extern void initProfTimer(nat ms);
extern void stopProfTimer(void);
extern void startProfTimer(void);
15
extern void handleProfTick(int unused);
16