-void postEvent_(Capability *cap, EventTypeNum tag, StgThreadID id, nat from);
+void postEvent_(Capability *cap, EventTypeNum tag, StgThreadID id, StgWord64 other);
-INLINE_HEADER void postEvent(Capability *cap, EventTypeNum tag, StgThreadID id, nat from)
+INLINE_HEADER void postEvent(Capability *cap, EventTypeNum tag, StgThreadID id, StgWord64 other)
- postEvent_(cap, tag, id, from);
+ postEvent_(cap, tag, id, other);
INLINE_HEADER void postEvent(Capability *cap STG_UNUSED,
EventTypeNum tag STG_UNUSED,
StgThreadID id STG_UNUSED,
INLINE_HEADER void postEvent(Capability *cap STG_UNUSED,
EventTypeNum tag STG_UNUSED,
StgThreadID id STG_UNUSED,