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);
13 void SnapshotGlobalSegments();
16 struct stackEntry *next;
17 snapshot_id snapshotid;
26 int backTrackBeforeStep(int seq_index);
27 void snapshotStep(int seq_index);
30 struct stackEntry * stack;
33 /* Not sure what it even means to have more than one snapshot object,
34 so let's just make a global reference to it.*/
36 extern SnapshotStack * snapshotObject;