int cpu_count() {
-#if defined(_WIN32) || defined(_WIN64)
+#if defined(_WIN32)
SYSTEM_INFO s;
GetSystemInfo(&s);
return s.dwNumberOfProcessors;
void timed_wait(WaitCondition& sleepCond, Lock& sleepLock, int msec) {
-#if defined(_WIN32) || defined(_WIN64)
+#if defined(_WIN32)
int tm = msec;
#else
timespec ts, *tm = &ts;