diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 43e0d2f63..44e455abd 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -5463,6 +5463,77 @@ HFONT CreateFont(
       <not-bool/>
     </arg>
   </function>
+  <!-- BOOL DeviceIoControl(
+  _In_ HANDLE hDevice,
+  _In_ DWORD dwIoControlCode,
+  _In_reads_bytes_opt_(nInBufferSize) LPVOID lpInBuffer,
+  _In_ DWORD nInBufferSize,
+  _Out_writes_bytes_to_opt_(nOutBufferSize, *lpBytesReturned) LPVOID lpOutBuffer,
+  _In_ DWORD nOutBufferSize,
+  _Out_opt_ LPDWORD lpBytesReturned,
+  _Inout_opt_ LPOVERLAPPED lpOverlapped); -->
+  <function name="DeviceIoControl">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <minsize type="argvalue" arg="4"/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="5">
+      <minsize type="argvalue" arg="6"/>
+    </arg>
+    <arg nr="6">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="7"/>
+    <arg nr="8">
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- BOOL GetOverlappedResult(
+  _In_ HANDLE hFile,
+  _In_ LPOVERLAPPED lpOverlapped,
+  _Out_ LPDWORD lpNumberOfBytesTransferred,
+  _In_ BOOL bWait); -->
+  <function name="GetOverlappedResult">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-null/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- BOOL WINAPI CancelIo(
+  _In_ HANDLE hFile); -->
+  <function name="CancelIo">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
   <podtype name="LARGE_INTEGER" sign="s" size="8"/>
   <podtype name="POINTER_SIGNED" sign="s"/>
   <podtype name="POINTER_UNSIGNED" sign="u"/>
@@ -5537,6 +5608,8 @@ HFONT CreateFont(
   <define name="SCODE_FACILITY(sc)" value="(((sc) &gt;&gt; 16) &amp; 0x1fff)"/>
   <!-- DWORD SCODE_SEVERITY( SCODE sc );-->
   <define name="SCODE_SEVERITY(sc)" value="(((sc) &gt;&gt; 31) &amp; 0x1)"/>
+  <!-- winioctl.h -->
+  <define name="CTL_CODE(DeviceType,Function,Method,Access)" value="(((DeviceType) &lt;&lt; 16) | ((Access) &lt;&lt; 14) | ((Function) &lt;&lt; 2) | (Method))"/>
   <!-- AccCtrl.h: Indicates an access-allowed entry. -->
   <define name="ACTRL_ACCESS_ALLOWED" value="0x00000000"/>
   <!-- AccCtrl.h: Indicates an access-denied entry. -->