diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 925920f108..76b522287e 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -27,6 +27,7 @@ struct gc_thread_; void stat_startInit(void); void stat_endInit(void); +void stat_startGCSync(struct gc_thread_ *_gct); void stat_startGC(Capability *cap, struct gc_thread_ *_gct); void stat_endGC (Capability *cap, struct gc_thread_ *_gct, W_ live, W_ copied, W_ slop, nat gen, |