/* -----------------------------------------------------------------------------
- * $Id: Stats.h,v 1.15 2002/01/24 07:50:02 sof Exp $
*
* (c) The GHC Team, 1998-1999
*
nat, int,
#endif
double);
-#endif // PROFILING
+#endif /* PROFILING */
#if defined(PROFILING) || defined(DEBUG)
extern void stat_startHeapCensus(void);
#ifdef PROFILING
extern double mut_user_time_during_RP(void);
extern double mut_user_time_during_heap_census(void);
-#endif // PROFILING
+#endif /* PROFILING */
extern void statDescribeGens( void );
-extern HsInt getAllocations( void );
+extern HsInt64 getAllocations( void );
-#ifdef SMP
-extern long int stat_getElapsedTime ( void );
-#endif
+extern void stat_getTimes ( long *currentElapsedTime,
+ long *currentUserTime,
+ long *elapsedGCTime );