1 #ifndef __SNAPINTERFACE_H
2 #define __SNAPINTERFACE_H
5 typedef unsigned int snapshot_id;
7 typedef void (*VoidFuncPtr)();
8 void initSnapShotLibrary(unsigned int numbackingpages,
9 unsigned int numsnapshots, unsigned int nummemoryregions,
10 unsigned int numheappages, VoidFuncPtr entryPoint);
12 void SnapshotGlobalSegments();
15 struct stackEntry *next;
16 snapshot_id snapshotid;
25 int backTrackBeforeStep(int seq_index);
26 void snapshotStep(int seq_index);
29 struct stackEntry * stack;
32 /* Not sure what it even means to have more than one snapshot object,
33 so let's just make a global reference to it.*/
35 extern SnapshotStack * snapshotObject;