snapshot-interface.h

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