ghc/rts/Proftimer.h

   1 /* -----------------------------------------------------------------------------
   2  * $Id: Proftimer.h,v 1.3 1999/08/04 17:03:41 panne 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(int unused);
  14