2 * @file snapshot-interface.h
3 * @brief C interface layer on top of snapshotting system
6 #ifndef __SNAPINTERFACE_H
7 #define __SNAPINTERFACE_H
10 typedef unsigned int snapshot_id;
11 typedef void (*VoidFuncPtr)();
13 void snapshot_system_init(unsigned int numheappages);
14 void startExecution();
15 snapshot_id take_snapshot();
16 void snapshot_roll_back(snapshot_id theSnapShot);