X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/5fd8cc8409d0efadc07dfe8d6774ad9ff477663d..dfe8486473094c0769fd1922329c3f0dfd8f43c0:/tprintf.cc

diff --git a/tprintf.cc b/tprintf.cc
index 8f6c8a9..93a6070 100644
--- a/tprintf.cc
+++ b/tprintf.cc
@@ -1,16 +1,9 @@
-#include "mutex.h"
 #include <sys/time.h>
 #include <stdint.h>
 #include "tprintf.h"
 
-uint64_t utime() {
-    struct timeval tp;
-    gettimeofday(&tp, NULL);
-    return (tp.tv_usec + (uint64_t)tp.tv_sec * 1000000) % 1000000000;
-}
-
-mutex cerr_mutex;
-std::map<pthread_t, int> thread_name_map;
+std::mutex cerr_mutex;
+std::map<std::thread::id, int> thread_name_map;
 int next_thread_num = 0;
 std::map<void *, int> instance_name_map;
 int next_instance_num = 0;