X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.h;h=819ea0a41b79ca25782b50e9f109df68b35dc041;hb=8294305a6c0b9c0aa16485cf1d48f47200a8c8ab;hp=16d9cd76a30dd3e6d99874b2fb565813b31241b1;hpb=6a3cefc5fc5bcae7b7f94dd9e6199f6b3efdd76e;p=model-checker.git

diff --git a/snapshot.h b/snapshot.h
index 16d9cd7..819ea0a 100644
--- a/snapshot.h
+++ b/snapshot.h
@@ -2,10 +2,13 @@
 #define _SNAPSHOT_H
 #define PAGESIZE 4096
 #define USE_CHECKPOINTING 1
+/* Size of signal stack */
+#define SIGSTACKSIZE 16384
+
 
 typedef unsigned int snapshot_id;
 typedef void (*MyFuncPtr)();
-void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, MyFuncPtr entryPoint);
+void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, unsigned int numheappages, MyFuncPtr entryPoint);
 
 void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages );