diff options
| author | Duncan Coutts <duncan@well-typed.com> | 2011-10-25 18:31:33 +0100 |
|---|---|---|
| committer | Duncan Coutts <duncan@well-typed.com> | 2011-10-26 12:00:42 +0100 |
| commit | f9c2157310ee428ab969563ee889750d036ab38c (patch) | |
| tree | 43cbb473a3d9b4fae23565a5ce2f738999c9484e /rts/Trace.c | |
| parent | c8d3f44af425688db7a3a860f9a6242cbef273f8 (diff) | |
| download | haskell-f9c2157310ee428ab969563ee889750d036ab38c.tar.gz | |
Rename traceCapsetModify for consistency and clarity
Diffstat (limited to 'rts/Trace.c')
| -rw-r--r-- | rts/Trace.c | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/rts/Trace.c b/rts/Trace.c index 1dce968490..7aa0f7b444 100644 --- a/rts/Trace.c +++ b/rts/Trace.c @@ -293,9 +293,9 @@ void traceGcEvent_ (Capability *cap, EventTypeNum tag) } } -void traceCapsetModify_ (EventTypeNum tag, - CapsetID capset, - StgWord32 other) +void traceCapsetEvent_ (EventTypeNum tag, + CapsetID capset, + StgWord info) { #ifdef DEBUG if (RtsFlags.TraceFlags.tracing == TRACE_STDERR) { @@ -304,18 +304,18 @@ void traceCapsetModify_ (EventTypeNum tag, tracePreface(); switch (tag) { case EVENT_CAPSET_CREATE: // (capset, capset_type) - debugBelch("created capset %lu of type %d\n", (lnat)capset, (int)other); + debugBelch("created capset %lu of type %d\n", (lnat)capset, (int)info); break; case EVENT_CAPSET_DELETE: // (capset) debugBelch("deleted capset %lu\n", (lnat)capset); break; case EVENT_CAPSET_ASSIGN_CAP: // (capset, capno) debugBelch("assigned cap %lu to capset %lu\n", - (lnat)other, (lnat)capset); + (lnat)info, (lnat)capset); break; case EVENT_CAPSET_REMOVE_CAP: // (capset, capno) debugBelch("removed cap %lu from capset %lu\n", - (lnat)other, (lnat)capset); + (lnat)info, (lnat)capset); break; } RELEASE_LOCK(&trace_utx); @@ -323,25 +323,25 @@ void traceCapsetModify_ (EventTypeNum tag, #endif { if (eventlog_enabled) { - postCapsetModifyEvent(tag, capset, other); + postCapsetEvent(tag, capset, info); } } } void traceOSProcessInfo_(void) { if (eventlog_enabled) { - postCapsetModifyEvent(EVENT_OSPROCESS_PID, - CAPSET_OSPROCESS_DEFAULT, - getpid()); + postCapsetEvent(EVENT_OSPROCESS_PID, + CAPSET_OSPROCESS_DEFAULT, + getpid()); #if !defined(cygwin32_HOST_OS) && !defined (mingw32_HOST_OS) /* Windows has no strong concept of process heirarchy, so no getppid(). * In any case, this trace event is mainly useful for tracing programs * that use 'forkProcess' which Windows doesn't support anyway. */ - postCapsetModifyEvent(EVENT_OSPROCESS_PPID, - CAPSET_OSPROCESS_DEFAULT, - getppid()); + postCapsetEvent(EVENT_OSPROCESS_PPID, + CAPSET_OSPROCESS_DEFAULT, + getppid()); #endif { char buf[256]; |