• donnie@darthik.com's avatar
    Fixed ThreadID to be defined as StgThreadID, not StgWord64. Changed... · 543823a1
    donnie@darthik.com authored
    Fixed ThreadID to be defined as StgThreadID, not StgWord64.  Changed CapabilityNum to CapNo.  Added helper functions postCapNo() and postThreadID().
    ThreadID was StgWord64, but should have been StgThreadID, which is
    currently StgWord32.  Changed name from CapabilityNum to CapNo to better
    reflect naming in Capability struct where "no" is the capability number.
    Modified EventLog.c to use the helper functions postCapNo() and
    postThreadID () for CapNo and ThreadID.
    543823a1
EventLogFormat.h 4.48 KB