diff options
| author | Sergei Trofimovich <siarheit@google.com> | 2016-02-07 17:23:36 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <siarheit@google.com> | 2016-02-07 20:27:21 +0000 |
| commit | 8abc7e76ecd9bdd31ace27ed24b3d42522d2f189 (patch) | |
| tree | a38232fa6d87927a3fb30989ffb5e4790d25abb4 /rts/Stats.c | |
| parent | 3dbd836ea2e9ddf417ed473bcff98fe29e40395a (diff) | |
| download | haskell-8abc7e76ecd9bdd31ace27ed24b3d42522d2f189.tar.gz | |
rts: drop unused mut_user_time_during_heap_census
Was never used looking at history available in git.
While at it marked 'mut_user_time_during_RP' as 'static'.
Noticed by uselex.rb:
mut_user_time_during_heap_census: [R]: exported from:
./rts/dist/build/Stats.p_o
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
Diffstat (limited to 'rts/Stats.c')
| -rw-r--r-- | rts/Stats.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/rts/Stats.c b/rts/Stats.c index 4c06b18491..25074ea1d0 100644 --- a/rts/Stats.c +++ b/rts/Stats.c @@ -105,17 +105,12 @@ mut_user_time( void ) mut_user_time_during_RP() returns the MUT time during retainer profiling. The same is for mut_user_time_during_HC(); */ -double +static double mut_user_time_during_RP( void ) { return TimeToSecondsDbl(RP_start_time - GC_tot_cpu - RP_tot_time); } -double -mut_user_time_during_heap_census( void ) -{ - return TimeToSecondsDbl(HC_start_time - GC_tot_cpu - RP_tot_time); -} #endif /* PROFILING */ /* --------------------------------------------------------------------------- |