On Windows, when returning memory to the OS, we try to release it

[ghc-hetmet.git] / rts / sm / OSMem.h

diff --git a/rts/sm/OSMem.h b/rts/sm/OSMem.h
index d92b170..b3003ed 100644 (file)
--- a/rts/sm/OSMem.h
+++ b/rts/sm/OSMem.h
@@ -14,6 +14,7 @@
 void osMemInit(void);
 void *osGetMBlocks(nat n);
 void osFreeMBlocks(char *addr, nat n);
+void osReleaseFreeMemory(void);
 void osFreeAllMBlocks(void);
 lnat getPageSize (void);
 void setExecutable (void *p, lnat len, rtsBool exec);