diff options
Diffstat (limited to 'rts/Trace.h')
| -rw-r--r-- | rts/Trace.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/rts/Trace.h b/rts/Trace.h index f253280b26..1544971077 100644 --- a/rts/Trace.h +++ b/rts/Trace.h @@ -182,6 +182,8 @@ void traceCapsetModify_ (EventTypeNum tag, CapsetID capset, StgWord32 other); +void traceOSProcessInfo_ (void); + #else /* !TRACING */ #define traceSchedEvent(cap, tag, tso, other) /* nothing */ @@ -194,6 +196,7 @@ void traceCapsetModify_ (EventTypeNum tag, #define traceThreadStatus(class, tso) /* nothing */ #define traceEventStartup_(n_caps) /* nothing */ #define traceCapsetModify_(tag, capset, other) /* nothing */ +#define traceOSProcessInfo_() /* nothing */ #endif /* TRACING */ @@ -469,6 +472,13 @@ INLINE_HEADER void traceCapsetRemoveCap(CapsetID capset STG_UNUSED, dtraceCapsetRemoveCap(capset, capno); } +INLINE_HEADER void traceOSProcessInfo(void) +{ + traceOSProcessInfo_(); + /* Note: no DTrace equivalent because all this OS process info + * is available to DTrace directly */ +} + #include "EndPrivate.h" #endif /* TRACE_H */ |