+
+void lwt_trace_i (const char *format, size_t value1, size_t value2) {
+ LOCALIZE_THREAD_LOCAL(tb_, lwt_buffer_t *);
+ if (tb_) {
+ unsigned int u, l;
+ __asm__ __volatile__("rdtsc" : "=a" (l), "=d" (u));
+ uint64_t timestamp = ((uint64_t)u << 32) | l;
+ lwt_record_t temp = { timestamp, format, value1, value2 };
+ tb_->x[tb_->head++ & LWT_BUFFER_MASK] = temp;
+ }
+}