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/eventlog | |
parent | c8d3f44af425688db7a3a860f9a6242cbef273f8 (diff) | |
download | haskell-f9c2157310ee428ab969563ee889750d036ab38c.tar.gz |
Rename traceCapsetModify for consistency and clarity
Diffstat (limited to 'rts/eventlog')
-rw-r--r-- | rts/eventlog/EventLog.c | 14 | ||||
-rw-r--r-- | rts/eventlog/EventLog.h | 8 |
2 files changed, 11 insertions, 11 deletions
diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c index db0f3e4ad5..d5bfd19130 100644 --- a/rts/eventlog/EventLog.c +++ b/rts/eventlog/EventLog.c @@ -559,9 +559,9 @@ postSparkCountersEvent (Capability *cap, postWord64(eb,remaining); } -void postCapsetModifyEvent (EventTypeNum tag, - EventCapsetID capset, - StgWord32 other) +void postCapsetEvent (EventTypeNum tag, + EventCapsetID capset, + StgWord info) { ACQUIRE_LOCK(&eventBufMutex); @@ -576,7 +576,7 @@ void postCapsetModifyEvent (EventTypeNum tag, switch (tag) { case EVENT_CAPSET_CREATE: // (capset, capset_type) { - postCapsetType(&eventBuf, other /* capset_type */); + postCapsetType(&eventBuf, info /* capset_type */); break; } @@ -588,17 +588,17 @@ void postCapsetModifyEvent (EventTypeNum tag, case EVENT_CAPSET_ASSIGN_CAP: // (capset, capno) case EVENT_CAPSET_REMOVE_CAP: // (capset, capno) { - postCapNo(&eventBuf, other /* capno */); + postCapNo(&eventBuf, info /* capno */); break; } case EVENT_OSPROCESS_PID: // (capset, pid) case EVENT_OSPROCESS_PPID: // (capset, parent_pid) { - postWord32(&eventBuf, other); + postWord32(&eventBuf, info); break; } default: - barf("postCapsetModifyEvent: unknown event tag %d", tag); + barf("postCapsetEvent: unknown event tag %d", tag); } RELEASE_LOCK(&eventBufMutex); diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h index 6bb1404e92..e09da07e6b 100644 --- a/rts/eventlog/EventLog.h +++ b/rts/eventlog/EventLog.h @@ -48,11 +48,11 @@ void postCapMsg(Capability *cap, char *msg, va_list ap); void postEventStartup(EventCapNo n_caps); /* - * Post a capability set modification event + * Post an event that is associated with a capability set */ -void postCapsetModifyEvent (EventTypeNum tag, - EventCapsetID capset, - StgWord32 other); +void postCapsetEvent (EventTypeNum tag, + EventCapsetID capset, + StgWord info); /* * Post a capability set event with a string payload |