From a6d40f63235532b994fe2f73ae010871320f6395 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 29 Mar 2019 09:35:36 +0100
Subject: [PATCH] windows.cfg: Added support for FlushFileBuffers(). Reference:
 https://docs.microsoft.com/en-us/windows/desktop/api/fileapi/nf-fileapi-flushfilebuffers

---
 cfg/windows.cfg | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 84559f38e..7ab06bf1b 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -1763,6 +1763,14 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- BOOL FlushFileBuffers(HANDLE hFile);-->
+  <function name="FlushFileBuffers">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- BOOL WINAPI SetCommState(
   _In_  HANDLE hFile,
   _In_  LPDCB lpDCB);-->