1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License
7 * version 2 as published by the Free Software Foundation.
11 * @brief Snapshotting interface header file.
17 #include "snapshot-interface.h"
21 void snapshot_add_memory_region(void *ptr, unsigned int numPages);
22 snapshot_id take_snapshot();
23 void snapshot_roll_back(snapshot_id theSnapShot);
25 #if !USE_MPROTECT_SNAPSHOT
26 mspace create_shared_mspace();