Use a timer to avoid polling

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index 0c89922bfeb9112fc8da7626c1b160c31653dd32..92b97461faee9e883b6fbc85adcd22c35d731212 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -22,12 +22,15 @@
 
 #include <fstream>
 #include <string>
 
 #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();
 #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);
 extern void prefetch(char* addr);
 
 extern void dbg_hit_on(bool b);