From e9815bd5237dd5cd7917ff46ae0c9b32a3c0914e Mon Sep 17 00:00:00 2001
From: Sebastian <versat@users.noreply.github.com>
Date: Wed, 29 Nov 2017 08:22:13 +0100
Subject: [PATCH] windows.cfg: Add Sleep and SleepEx (#1007)

Add configuration for Sleep and SleepEx on Windows.
Not sure how to implement that the functions do not return when the first parameter is INFINITE.
---
 cfg/windows.cfg | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index cedd7187d..a0cd20df3 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -3605,6 +3605,31 @@ HFONT CreateFont(
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
+  <!--VOID WINAPI Sleep(
+      _In_ DWORD dwMilliseconds);-->
+  <function name="Sleep">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--DWORD WINAPI SleepEx(
+  _In_ DWORD dwMilliseconds,
+  _In_ BOOL  bAlertable);-->
+  <function name="SleepEx">
+    <noreturn>false</noreturn>
+    <returnValue type="DWORD"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
   <podtype name="LARGE_INTEGER" sign="s" size="8"/>
   <podtype name="POINTER_SIGNED" sign="s"/>
   <podtype name="POINTER_UNSIGNED" sign="u"/>