From d315985abb3e2188637ccb1f12e06634fd522a22 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Thu, 22 Oct 2020 15:40:25 -0400
Subject: [PATCH] rts/Stats: Hide a few unused unnecessarily global functions

---
 rts/Stats.c | 19 -------------------
 rts/Stats.h |  3 ---
 2 files changed, 22 deletions(-)

diff --git a/rts/Stats.c b/rts/Stats.c
index d413c9070f43..7b30282d4487 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 f5b8ce9991df..103564a82a4d 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);
-- 
GitLab