diff options
Diffstat (limited to 'rts/MemoryMap.h')
| -rw-r--r-- | rts/MemoryMap.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/rts/MemoryMap.h b/rts/MemoryMap.h new file mode 100644 index 0000000000..7d2c4a58b1 --- /dev/null +++ b/rts/MemoryMap.h @@ -0,0 +1,13 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team, 1998-2004 + * + * Memory-map dumping. + * + * This is intended to be used for reporting the process memory-map + * in diagnostics when the RTS fails to map a block of memory. + * + * ---------------------------------------------------------------------------*/ + +void reportMemoryMap(void); + |