projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2005-04-10 21:44:10 by simonmar]
[ghc-hetmet.git]
/
ghc
/
rts
/
Stats.h
diff --git
a/ghc/rts/Stats.h
b/ghc/rts/Stats.h
index
c3efd36
..
0ed1307
100644
(file)
--- a/
ghc/rts/Stats.h
+++ b/
ghc/rts/Stats.h
@@
-20,7
+20,7
@@
extern void stat_endRP(nat,
nat, int,
#endif
double);
nat, int,
#endif
double);
-#endif // PROFILING
+#endif /* PROFILING */
#if defined(PROFILING) || defined(DEBUG)
extern void stat_startHeapCensus(void);
#if defined(PROFILING) || defined(DEBUG)
extern void stat_startHeapCensus(void);
@@
-41,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);
#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 HsInt64 getAllocations( void );
extern void statDescribeGens( void );
extern HsInt64 getAllocations( void );
-#if defined(SMP)
-extern long int stat_getElapsedTime ( void );
-#endif
+extern void stat_getTimes ( long *currentElapsedTime,
+ long *currentUserTime,
+ long *elapsedGCTime );