summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-10-22 15:40:25 -0400
committerBen Gamari <ben@smart-cactus.org>2020-10-24 21:02:44 -0400
commit297acc71dbbc0786c55c178d5e5fc453d9f4f2f9 (patch)
tree219c0160834c70b6ce3220d004caf6808abae0c0
parentbf1b0bc78da7dbe5f6fbda54b37a9cb165ff857f (diff)
downloadhaskell-297acc71dbbc0786c55c178d5e5fc453d9f4f2f9.tar.gz
rts/Stats: Hide a few unused unnecessarily global functions
-rw-r--r--rts/Stats.c19
-rw-r--r--rts/Stats.h3
2 files changed, 0 insertions, 22 deletions
diff --git a/rts/Stats.c b/rts/Stats.c
index 80fca509ad..0852ab58a0 100644
--- a/rts/Stats.c
+++ b/rts/Stats.c
@@ -81,25 +81,6 @@ Time stat_getElapsedTime(void)
Measure the current MUT time, for profiling
------------------------------------------------------------------------ */
-double
-mut_user_time_until( Time t )
-{
- return TimeToSecondsDbl(t - stats.gc_cpu_ns - stats.nonmoving_gc_cpu_ns);
- // heapCensus() time is included in GC_tot_cpu, so we don't need
- // to subtract it here.
-
- // TODO: This seems wrong to me. Surely we should be subtracting
- // (at least) start_init_cpu?
-}
-
-double
-mut_user_time( void )
-{
- Time cpu;
- cpu = getProcessCPUTime();
- return mut_user_time_until(cpu);
-}
-
#if defined(PROFILING)
/*
mut_user_time_during_RP() returns the MUT time during retainer profiling.
diff --git a/rts/Stats.h b/rts/Stats.h
index f5b8ce9991..103564a82a 100644
--- a/rts/Stats.h
+++ b/rts/Stats.h
@@ -65,9 +65,6 @@ void initStats0(void);
void initStats1(void);
void resetChildProcessStats(void);
-double mut_user_time_until(Time t);
-double mut_user_time(void);
-
void statDescribeGens( void );
Time stat_getElapsedGCTime(void);