1 /* -----------------------------------------------------------------------------
2 * $Id: Proftimer.h,v 1.2 1998/12/02 13:28:37 simonm Exp $
4 * (c) The GHC Team, 1998
6 * Profiling interval timer
8 * ---------------------------------------------------------------------------*/
10 extern void initProfTimer(nat ms);
11 extern void stopProfTimer(void);
12 extern void startProfTimer(void);
13 extern void handleProfTick(void);