Sync with master

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index 246a56a016594bff70e628c360011480c14a5cdf..28bf045255ccd8b6aae115020ce285cc4fafb651 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -28,8 +28,7 @@
 #include "types.h"
 
 const std::string engine_info(bool to_uci = false);
-void timed_wait(WaitCondition&, Lock&, int);
-void prefetch(char* addr);
+void prefetch(void* addr);
 void start_logger(bool b);
 
 void dbg_hit_on(bool b);
@@ -40,17 +39,16 @@ void dbg_print();
 
 namespace Time {
   typedef int64_t point;
-  inline point now() { return system_time_to_msec(); }
+  point now();
 }
 
 
 template<class Entry, int Size>
 struct HashTable {
-  HashTable() : table(Size, Entry()) {}
   Entry* operator[](Key key) { return &table[(uint32_t)key & (Size - 1)]; }
 
 private:
-  std::vector<Entry> table;
+  std::vector<Entry> table = std::vector<Entry>(Size);
 };