X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/61809b48ade4c21b1b01931d520aa2abc7507032..a4175b2e216a20b86cc872dea8a08005c60617a5:/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;