summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-10-22 15:40:25 -0400
committerBen Gamari <ben@well-typed.com>2020-12-01 12:48:54 -0500
commitd315985abb3e2188637ccb1f12e06634fd522a22 (patch)
tree06b29aabcb494c0c71287a08f6886fd1b0bc5efd
parent1ada18d287927d78d9dbdba062e2c882177f2d4f (diff)
downloadhaskell-d315985abb3e2188637ccb1f12e06634fd522a22.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 d413c9070f..7b30282d44 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);