1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
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.
11 * @file snapshot-interface.h
12 * @brief C interface layer on top of snapshotting system
15 #ifndef __SNAPINTERFACE_H
16 #define __SNAPINTERFACE_H
18 typedef unsigned int snapshot_id;
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);
25 void snapshot_stack_init();
26 void snapshot_record(int seq_index);
27 int snapshot_backtrack_before(int seq_index);