Changed postEvent last argument from "nat from" to "StgWord64 other".

StgWord64 other better represents this argument since it can be used as
any particular data, thus "other" and not the "from" capability as it was
previously strictly used.  Also, StgWord64 is normally larger than type
nat to allow for larger data to be passed through the "other" argument.

diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c
index f950006..141b885 100644 (file)
--- a/rts/eventlog/EventLog.c
+++ b/rts/eventlog/EventLog.c
@@ -284,7 +284,7 @@ freeEventLogging(void)
  * If the buffer is full, prints out the buffer and clears it.
  */
 void
-postEvent_(Capability *cap, EventTypeNum tag, StgThreadID thread, nat other_cap)
+postEvent_(Capability *cap, EventTypeNum tag, StgThreadID thread, StgWord64 other)
 {
     EventsBuf *eb;
 

diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h
index 3867301..c2511b9 100644 (file)
--- a/rts/eventlog/EventLog.h
+++ b/rts/eventlog/EventLog.h
@@ -23,15 +23,15 @@ void initEventLogging(void);
 void endEventLogging(void);
 void freeEventLogging(void);
 
-void postEvent_(Capability *cap, EventTypeNum tag, StgThreadID id, nat from);
+void postEvent_(Capability *cap, EventTypeNum tag, StgThreadID id, StgWord64 other);
 
 /* 
  * Post an event to the capability's event buffer.
  */
-INLINE_HEADER void postEvent(Capability *cap, EventTypeNum tag, StgThreadID id, nat from)
+INLINE_HEADER void postEvent(Capability *cap, EventTypeNum tag, StgThreadID id, StgWord64 other)
 {
     if (RtsFlags.EventLogFlags.doEventLogging) {
-        postEvent_(cap, tag, id, from);
+        postEvent_(cap, tag, id, other);
     }
 }
 
@@ -42,7 +42,7 @@ void printAndClearEventLog(Capability *cap);
 INLINE_HEADER void postEvent(Capability *cap  STG_UNUSED,
                              EventTypeNum tag STG_UNUSED,
                              StgThreadID id   STG_UNUSED,
-                             nat from         STG_UNUSED)
+                             StgWord64 other  STG_UNUSED)
 {
     /* nothing */
 }