Lots more clean-ups
[invirt/third/libt4.git] / threaded_log.cc
index 57ddc08..c44266e 100644 (file)
@@ -1,9 +1,8 @@
-#include <sys/time.h>
-#include <stdint.h>
 #include "threaded_log.h"
 
-std::mutex cerr_mutex;
-std::map<std::thread::id, int> thread_name_map;
+mutex cerr_mutex;
+map<thread::id, int> thread_name_map;
 int next_thread_num = 0;
-std::map<void *, int> instance_name_map;
+map<void *, int> instance_name_map;
 int next_instance_num = 0;
+int DEBUG_LEVEL = 0;