projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2002-10-30 09:29:33 by simonpj]
[ghc-hetmet.git]
/
ghc
/
rts
/
Stats.h
diff --git
a/ghc/rts/Stats.h
b/ghc/rts/Stats.h
index
061d5fb
..
626eb07
100644
(file)
--- a/
ghc/rts/Stats.h
+++ b/
ghc/rts/Stats.h
@@
-1,5
+1,5
@@
/* -----------------------------------------------------------------------------
/* -----------------------------------------------------------------------------
- * $Id: Stats.h,v 1.13 2001/11/23 10:27:58 simonmar Exp $
+ * $Id: Stats.h,v 1.17 2002/02/06 01:21:41 sof Exp $
*
* (c) The GHC Team, 1998-1999
*
*
* (c) The GHC Team, 1998-1999
*
@@
-20,12
+20,14
@@
extern void stat_endRP(nat,
#ifdef DEBUG_RETAINER
nat, int,
#endif
#ifdef DEBUG_RETAINER
nat, int,
#endif
- double, nat, nat);
-
-extern void stat_startLDV(void);
-extern void stat_endLDV(void);
+ double);
#endif // PROFILING
#endif // PROFILING
+#if defined(PROFILING) || defined(DEBUG)
+extern void stat_startHeapCensus(void);
+extern void stat_endHeapCensus(void);
+#endif
+
extern void stat_startExit(void);
extern void stat_endExit(void);
extern void stat_startExit(void);
extern void stat_endExit(void);
@@
-39,8
+41,12
@@
extern double mut_user_time(void);
#ifdef PROFILING
extern double mut_user_time_during_RP(void);
#ifdef PROFILING
extern double mut_user_time_during_RP(void);
-extern double mut_user_time_during_LDV(void);
+extern double mut_user_time_during_heap_census(void);
#endif // PROFILING
extern void statDescribeGens( void );
extern HsInt getAllocations( void );
#endif // PROFILING
extern void statDescribeGens( void );
extern HsInt getAllocations( void );
+
+#if defined(SMP)
+extern long int stat_getElapsedTime ( void );
+#endif