X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=snapshot-interface.h;h=7a5030b85dc23df43112189e03e611fe0cc86c76;hp=3e3ad71e02388ff1130d3da357f8321c77543a01;hb=626e8f932c7cb841ef6ba75c86fe7be2aaa9f869;hpb=c44681494532fc9b3cec1e9148324025a635017b

diff --git a/snapshot-interface.h b/snapshot-interface.h
index 3e3ad71e..7a5030b8 100644
--- a/snapshot-interface.h
+++ b/snapshot-interface.h
@@ -5,16 +5,17 @@
 
 #ifndef __SNAPINTERFACE_H
 #define __SNAPINTERFACE_H
+#include <ucontext.h>
 
 typedef unsigned int snapshot_id;
-
 typedef void (*VoidFuncPtr)();
+
 void snapshot_system_init(unsigned int numbackingpages,
 													unsigned int numsnapshots, unsigned int nummemoryregions,
 													unsigned int numheappages);
-void startExecution(VoidFuncPtr entryPoint);
-void snapshot_stack_init();
-void snapshot_record(int seq_index);
-int snapshot_backtrack_before(int seq_index);
+void startExecution(ucontext_t * context, VoidFuncPtr entryPoint);
+snapshot_id take_snapshot();
+void snapshot_roll_back(snapshot_id theSnapShot);
+
 
 #endif