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 numbackingpages,
14 unsigned int numsnapshots, unsigned int nummemoryregions,
15 unsigned int numheappages);
16 void startExecution(ucontext_t * context, VoidFuncPtr entryPoint);
17 void snapshot_stack_init();
18 void snapshot_record(int seq_index);
19 int snapshot_backtrack_before(int seq_index);