diff options
Diffstat (limited to 'includes/rts/EventLogFormat.h')
| -rw-r--r-- | includes/rts/EventLogFormat.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/includes/rts/EventLogFormat.h b/includes/rts/EventLogFormat.h index 7773bae6a9..0b276b1d9f 100644 --- a/includes/rts/EventLogFormat.h +++ b/includes/rts/EventLogFormat.h @@ -142,9 +142,9 @@ #define EVENT_SPARK_GC 41 /* () */ #define EVENT_INTERN_STRING 42 /* (string, id) {not used by ghc} */ #define EVENT_WALL_CLOCK_TIME 43 /* (capset, unix_epoch_seconds, nanoseconds) */ +#define EVENT_THREAD_LABEL 44 /* (thread, name_string) */ - -/* Range 44 - 59 is available for new GHC and common events */ +/* Range 45 - 59 is available for new GHC and common events */ /* Range 60 - 80 is used by eden for parallel tracing * see http://www.mathematik.uni-marburg.de/~eden/ @@ -157,7 +157,7 @@ * ranges higher than this are reserved but not currently emitted by ghc. * This must match the size of the EventDesc[] array in EventLog.c */ -#define NUM_GHC_EVENT_TAGS 44 +#define NUM_GHC_EVENT_TAGS 45 #if 0 /* DEPRECATED EVENTS: */ /* we don't actually need to record the thread, it's implicit */ |