diff options
| -rw-r--r-- | rts/Stats.c | 7 | ||||
| -rw-r--r-- | rts/Stats.h | 5 |
2 files changed, 1 insertions, 11 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 */ /* --------------------------------------------------------------------------- diff --git a/rts/Stats.h b/rts/Stats.h index b7ced97a45..5897a3b0f5 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -59,11 +59,6 @@ void initStats1(void); double mut_user_time_until(Time t); double mut_user_time(void); -#ifdef PROFILING -double mut_user_time_during_RP(void); -double mut_user_time_during_heap_census(void); -#endif /* PROFILING */ - void statDescribeGens( void ); Time stat_getElapsedGCTime(void); |