*/
#include <stdio.h>
#include "common.h"
-#include "runtime_local.h"
+#include "rlocal.h"
#include "lwt.h"
#include "mem.h"
int level = ((size_t)r->format >> 48) & 0xFF;
if (flag_state_[(unsigned)flag] >= level) {
char s[3] = {flag, level, '\0'};
- fprintf(file, "%09llu %d %s ", ((uint64_t)r->timestamp - offset) >> 6, thread_id, s);
+ fprintf(file, "%09llu %d %s ", ((uint64_t)r->timestamp - offset) >> 5, thread_id, s);
const char *format = (const char *)((size_t)r->format & MASK(48)); // strip out the embedded flags
fprintf(file, format, r->value1, r->value2);
fprintf(file, "\n");
}
}
+void lwt_halt (void) {
+ halt_ = 1;
+}
+
void lwt_dump (const char *file_name)
{
halt_ = 1;
}
void lwt_trace_i (const char *format, size_t value1, size_t value2) {
- if (*(volatile int *)&halt_)
+ if (halt_)
return;
LOCALIZE_THREAD_LOCAL(tid_, int);
lwt_buffer_t *tb = lwt_buf_[tid_];