ghc/rts/Proftimer.h

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