snapshot-interface.h

   1 /*      Copyright (c) 2015 Regents of the University of California
   2  *
   3  *      Author: Brian Demsky <bdemsky@uci.edu>
   4  *
   5  *      This program is free software; you can redistribute it and/or
   6  *      modify it under the terms of the GNU General Public License
   7  *      version 2 as published by the Free Software Foundation.
   8  */
   9
  10 /**
  11  * @file snapshot-interface.h
  12  * @brief C interface layer on top of snapshotting system
  13  */
  14
  15 #ifndef __SNAPINTERFACE_H
  16 #define __SNAPINTERFACE_H
  17
  18 typedef unsigned int snapshot_id;
  19
  20 typedef void (*VoidFuncPtr)();
  21 void snapshot_system_init(unsigned int numbackingpages,
  22                                                                                                         unsigned int numsnapshots, unsigned int nummemoryregions,
  23                                                                                                         unsigned int numheappages, VoidFuncPtr entryPoint);
  24
  25 void snapshot_stack_init();
  26 void snapshot_record(int seq_index);
  27 int snapshot_backtrack_before(int seq_index);
  28
  29 #endif