Use a timer to avoid polling
[stockfish] / src / misc.h
index 0c89922bfeb9112fc8da7626c1b160c31653dd32..92b97461faee9e883b6fbc85adcd22c35d731212 100644 (file)
 
 #include <fstream>
 #include <string>
+
+#include "lock.h"
 #include "types.h"
 
 extern const std::string engine_name();
 extern const std::string engine_authors();
 extern int get_system_time();
 extern int cpu_count();
+extern void timed_wait(WaitCondition*, Lock*, int);
 extern void prefetch(char* addr);
 
 extern void dbg_hit_on(bool b);