2 * @brief Snapshotting interface header file.
8 #include "snapshot-interface.h"
12 void snapshot_add_memory_region(void *ptr, unsigned int numPages);
13 snapshot_id take_snapshot();
14 void snapshot_roll_back(snapshot_id theSnapShot);
16 #if !USE_MPROTECT_SNAPSHOT
17 mspace create_shared_mspace();