2 * @file snapshot-interface.h
3 * @brief C interface layer on top of snapshotting system
6 #ifndef __SNAPINTERFACE_H
7 #define __SNAPINTERFACE_H
9 typedef unsigned int snapshot_id;
11 typedef void (*VoidFuncPtr)();
12 void snapshot_system_init(unsigned int numbackingpages,
13 unsigned int numsnapshots, unsigned int nummemoryregions,
14 unsigned int numheappages, VoidFuncPtr entryPoint);
16 void snapshot_stack_init();
17 void snapshot_record(int seq_index);
18 int snapshot_backtrack_before(int seq_index);