summaryrefslogtreecommitdiff
path: root/rts/Stats.c
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 /rts/Stats.c
parentbf1b0bc78da7dbe5f6fbda54b37a9cb165ff857f (diff)
downloadhaskell-297acc71dbbc0786c55c178d5e5fc453d9f4f2f9.tar.gz
rts/Stats: Hide a few unused unnecessarily global functions
Diffstat (limited to 'rts/Stats.c')
-rw-r--r--rts/Stats.c19
1 files changed, 0 insertions, 19 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.