Lots more clean-ups

[invirt/third/libt4.git] / threaded_log.cc

diff --git a/threaded_log.cc b/threaded_log.cc
index 57ddc08..c44266e 100644 (file)
--- a/threaded_log.cc
+++ b/threaded_log.cc
@@ -1,9 +1,8 @@
-#include <sys/time.h>
-#include <stdint.h>

 #include "threaded_log.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;
 int next_thread_num = 0;

-std::map<void *, int> instance_name_map;
+map<void *, int> instance_name_map;

 int next_instance_num = 0;
 int next_instance_num = 0;

+int DEBUG_LEVEL = 0;