diff options
Diffstat (limited to 'rts/eventlog/EventLog.h')
| -rw-r--r-- | rts/eventlog/EventLog.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h index abe7880fe4..ed783bc361 100644 --- a/rts/eventlog/EventLog.h +++ b/rts/eventlog/EventLog.h @@ -26,7 +26,7 @@ void endEventLogging(void); void freeEventLogging(void); void abortEventLogging(void); // #4512 - after fork child needs to abort void flushEventLog(void); // event log inherited from parent -void moreCapEventBufs (nat from, nat to); +void moreCapEventBufs (uint32_t from, uint32_t to); /* * Post a scheduler event to the capability's event buffer (an event @@ -107,7 +107,7 @@ void postHeapEvent (Capability *cap, W_ info1); void postEventHeapInfo (EventCapsetID heap_capset, - nat gens, + uint32_t gens, W_ maxHeapSize, W_ allocAreaSize, W_ mblockSize, @@ -115,11 +115,11 @@ void postEventHeapInfo (EventCapsetID heap_capset, void postEventGcStats (Capability *cap, EventCapsetID heap_capset, - nat gen, + uint32_t gen, W_ copied, W_ slop, W_ fragmentation, - nat par_n_threads, + uint32_t par_n_threads, W_ par_max_copied, W_ par_tot_copied); |