[project @ 2005-05-13 10:05:32 by krasimir]

[ghc-hetmet.git] / ghc / rts / Stats.h

diff --git a/ghc/rts/Stats.h b/ghc/rts/Stats.h
index d6ab463..0ed1307 100644 (file)
--- a/ghc/rts/Stats.h
+++ b/ghc/rts/Stats.h
@@ -1,5 +1,4 @@
 /* -----------------------------------------------------------------------------
- * $Id: Stats.h,v 1.15 2002/01/24 07:50:02 sof Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -21,7 +20,7 @@ extern void      stat_endRP(nat,
                             nat, int, 
 #endif
                             double);
-#endif // PROFILING
+#endif /* PROFILING */
 
 #if defined(PROFILING) || defined(DEBUG)
 extern void      stat_startHeapCensus(void);
@@ -42,11 +41,11 @@ extern double    mut_user_time(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 );