- * The main thread is the only thread not created by pthread_create().
- * Update DRD's state information about the main thread.
+ * Update DRD's state information about the current thread.
-static void DRD_(set_main_thread_state)(void)
+static void DRD_(set_pthread_id)(void)
- // Make sure that DRD knows about the main thread's POSIX thread ID.
pthread_self(), 0, 0, 0, 0);