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 /rts/Stats.c | |
parent | bf1b0bc78da7dbe5f6fbda54b37a9cb165ff857f (diff) | |
download | haskell-297acc71dbbc0786c55c178d5e5fc453d9f4f2f9.tar.gz |
rts/Stats: Hide a few unused unnecessarily global functions
Diffstat (limited to 'rts/Stats.c')
-rw-r--r-- | rts/Stats.c | 19 |
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. |