diff options
| -rw-r--r-- | rts/Stats.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 008ef62ac4..0961f3faf1 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -27,13 +27,13 @@ struct gc_thread_; void stat_startInit(void); void stat_endInit(void); -void stat_startGC(Capability *cap, struct gc_thread_ *gct); -void stat_endGC (Capability *cap, struct gc_thread_ *gct, +void stat_startGC(Capability *cap, struct gc_thread_ *_gct); +void stat_endGC (Capability *cap, struct gc_thread_ *_gct, W_ alloc, W_ live, W_ copied, W_ slop, nat gen, nat n_gc_threads, W_ par_max_copied, W_ par_tot_copied); -void stat_gcWorkerThreadStart (struct gc_thread_ *gct); -void stat_gcWorkerThreadDone (struct gc_thread_ *gct); +void stat_gcWorkerThreadStart (struct gc_thread_ *_gct); +void stat_gcWorkerThreadDone (struct gc_thread_ *_gct); #ifdef PROFILING void stat_startRP(void); |