snapshot-interface.h

   1 /**
   2  * @file snapshot-interface.h
   3  * @brief C interface layer on top of snapshotting system
   4  */
   5
   6 #ifndef __SNAPINTERFACE_H
   7 #define __SNAPINTERFACE_H
   8
   9 typedef unsigned int snapshot_id;
  10
  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);
  15
  16 void snapshot_stack_init();
  17 void snapshot_record(int seq_index);
  18 int snapshot_backtrack_before(int seq_index);
  19
  20 #endif