diff options
Diffstat (limited to 'rts/eventlog/EventLog.h')
-rw-r--r-- | rts/eventlog/EventLog.h | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h index ed783bc361..462f5f594e 100644 --- a/rts/eventlog/EventLog.h +++ b/rts/eventlog/EventLog.h @@ -133,6 +133,26 @@ void postTaskMigrateEvent (EventTaskId taskId, void postTaskDeleteEvent (EventTaskId taskId); +void postHeapProfBegin(StgWord8 profile_id); + +void postHeapProfSampleBegin(StgInt era); + +void postHeapProfSampleString(StgWord8 profile_id, + const char *label, + StgWord64 residency); + +#ifdef PROFILING +void postHeapProfCostCentre(StgWord32 ccID, + const char *label, + const char *module, + const char *srcloc, + StgBool is_caf); + +void postHeapProfSampleCostCentre(StgWord8 profile_id, + CostCentreStack *stack, + StgWord64 residency); +#endif /* PROFILING */ + #else /* !TRACING */ INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED, |