diff options
| author | Ian Lynagh <igloo@earth.li> | 2010-11-01 16:18:02 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2010-11-01 16:18:02 +0000 |
| commit | 066d28b97c0c50ba5c2f395e02e2c56b3e562537 (patch) | |
| tree | 80f03c6942afcb9c3c56c834886373216a25aa2f /rts/sm/OSMem.h | |
| parent | c53c1c16f47f331e3c1608f66e0b760d140105e6 (diff) | |
| download | haskell-066d28b97c0c50ba5c2f395e02e2c56b3e562537.tar.gz | |
On Windows, when returning memory to the OS, we try to release it
as well as decommiting it.
Diffstat (limited to 'rts/sm/OSMem.h')
| -rw-r--r-- | rts/sm/OSMem.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/sm/OSMem.h b/rts/sm/OSMem.h index d92b170ddf..b3003edd1e 100644 --- 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); |