diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-10-22 15:40:25 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-10-24 21:02:44 -0400 |
commit | 297acc71dbbc0786c55c178d5e5fc453d9f4f2f9 (patch) | |
tree | 219c0160834c70b6ce3220d004caf6808abae0c0 | |
parent | bf1b0bc78da7dbe5f6fbda54b37a9cb165ff857f (diff) | |
download | haskell-297acc71dbbc0786c55c178d5e5fc453d9f4f2f9.tar.gz |
rts/Stats: Hide a few unused unnecessarily global functions
-rw-r--r-- | rts/Stats.c | 19 | ||||
-rw-r--r-- | rts/Stats.h | 3 |
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); |