diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 1a529ee87..fffaf5845 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -3822,6 +3822,110 @@ HFONT CreateFont(
       <not-uninit/>
     </arg>
   </function>
+  <!--void WINAPI InitializeCriticalSection(
+  _Out_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="InitializeCriticalSection">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--BOOL WINAPI InitializeCriticalSectionAndSpinCount(
+  _Out_ LPCRITICAL_SECTION lpCriticalSection,
+  _In_  DWORD              dwSpinCount);-->
+  <function name="InitializeCriticalSectionAndSpinCount">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <arg nr="1">
+      <not-null/>
+      <not-bool/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--BOOL WINAPI InitializeCriticalSectionEx(
+  _Out_ LPCRITICAL_SECTION lpCriticalSection,
+  _In_  DWORD              dwSpinCount,
+  _In_  DWORD              Flags);-->
+  <function name="InitializeCriticalSectionEx">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <arg nr="1">
+      <not-null/>
+      <not-bool/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--DWORD WINAPI SetCriticalSectionSpinCount(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection,
+  _In_    DWORD              dwSpinCount);-->
+  <function name="SetCriticalSectionSpinCount">
+    <noreturn>false</noreturn>
+    <returnValue type="DWORD"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-bool/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--void WINAPI DeleteCriticalSection(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="DeleteCriticalSection">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--void WINAPI EnterCriticalSection(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="EnterCriticalSection">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--BOOL WINAPI TryEnterCriticalSection(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="TryEnterCriticalSection">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--void WINAPI LeaveCriticalSection(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="LeaveCriticalSection">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <podtype name="LARGE_INTEGER" sign="s" size="8"/>
   <podtype name="POINTER_SIGNED" sign="s"/>
   <podtype name="POINTER_UNSIGNED" sign="u"/>