-void lwt_thread_init (int thread_id)
-{
- assert(thread_id < MAX_NUM_THREADS);
- if (lwt_buf_[thread_id] == NULL) {
- lwt_buf_[thread_id] = (lwt_buffer_t *)nbd_malloc(sizeof(lwt_buffer_t) + sizeof(lwt_record_t) * LWT_BUFFER_SIZE);
- memset(lwt_buf_[thread_id], 0, sizeof(lwt_buffer_t));
+void lwt_thread_init (void) {
+ int thread_index = GET_THREAD_INDEX();
+
+ if (TraceBuffer[thread_index] == NULL) {
+ TraceBuffer[thread_index] =
+ (lwt_buffer_t *)nbd_malloc(sizeof(lwt_buffer_t) + sizeof(lwt_record_t) * LWT_BUFFER_SIZE);
+ memset(TraceBuffer[thread_index], 0, sizeof(lwt_buffer_t));