diff options
Diffstat (limited to 'rts/eventlog/EventLog.h')
| -rw-r--r-- | rts/eventlog/EventLog.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h index b0675db14d..9d3795f3ff 100644 --- a/rts/eventlog/EventLog.h +++ b/rts/eventlog/EventLog.h @@ -134,6 +134,13 @@ void postEventGcStats (Capability *cap, W_ par_tot_copied, W_ par_balanced_copied); +void postEventMemReturn (Capability *cap, + EventCapsetID heap_capset, + uint32_t current_mblocks, + uint32_t needed_mblocks, + uint32_t returned_mblocks + ); + void postTaskCreateEvent (EventTaskId taskId, EventCapNo cap, EventKernelThreadId tid); |