diff --git a/src/misc.cpp b/src/misc.cpp
index 477fb392..cad8e39d 100644
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -178,7 +178,7 @@ void start_logger(bool b) { Logger::start(b); }
 
 int cpu_count() {
 
-#if defined(_WIN32) || defined(_WIN64)
+#if defined(_WIN32)
   SYSTEM_INFO s;
   GetSystemInfo(&s);
   return s.dwNumberOfProcessors;
@@ -204,7 +204,7 @@ int cpu_count() {
 
 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;
diff --git a/src/platform.h b/src/platform.h
index ad02575b..334a0eec 100644
--- a/src/platform.h
+++ b/src/platform.h
@@ -43,7 +43,7 @@ typedef unsigned __int64 uint64_t;
 #  include <unistd.h>  // Used by sysconf(_SC_NPROCESSORS_ONLN)
 #endif
 
-#if !defined(_WIN32) && !defined(_WIN64) // Linux - Unix
+#if !defined(_WIN32) // Linux - Unix
 
 #  include <sys/time.h>
 typedef timeval sys_time_t;