platform guards

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@1856 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

src/ansi-c/library/windows.c

@@ -1,5 +1,6 @@
 /* FUNCTION: QueryPerformanceFrequency */
 
+#ifdef _WIN32
 #include <windows.h>
 
 BOOL QueryPerformanceFrequency(LARGE_INTEGER *lpFrequency)
@@ -12,19 +13,23 @@ BOOL QueryPerformanceFrequency(LARGE_INTEGER *lpFrequency)
   __CPROVER_assume(result!=0);
   return 1;
 }
+#endif
 
 /* FUNCTION: ExitThread */
 
+#ifdef _WIN32
 #include <windows.h>
 
 inline VOID ExitThread(DWORD dwExitCode)
 {
   // never returns
   __CPROVER_assume(0);
 }
+#endif
 
 /* FUNCTION: CreateThread */
 
+#ifdef _WIN32
 #include <windows.h>
 
 inline HANDLE CreateThread(
@@ -45,3 +50,4 @@ inline HANDLE CreateThread(
   HANDLE handle;
   return handle;
 }
+#endif