#include <stdlib.h>
#include <limits>
+#include "config.h"
+
/** MEMALLOC declares the allocators for a class to allocate
* memory in the non-snapshotting heap. */
#define MEMALLOC \
void * snapshot_calloc(size_t count, size_t size);
void snapshot_free(void *ptr);
-void *system_malloc(size_t size );
-
/** @brief Provides a non-snapshotting allocator for use in STL classes.
*
* The code was adapted from a code example from the book The C++
extern mspace create_mspace_with_base(void* base, size_t capacity, int locked);
extern mspace create_mspace(size_t capacity, int locked);
-/** @brief mspace for the snapshotting heap */
-extern mspace snapshot_space;
+#if USE_MPROTECT_SNAPSHOT
+extern mspace user_snapshot_space;
+#endif
+
+extern mspace model_snapshot_space;
+
#ifdef __cplusplus
}; /* end of extern "C" */
#endif