X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=snapshot-interface.h;h=c0db0d0c0990595beaea3f1af70933a0f97779a8;hp=9912a1b78f2beba07c08b624b483c71492fd9e3a;hb=dfce798347b60b1bff6df0cdb51b786f4ca02d7f;hpb=2db2ef3b8bdabacc7784fd5a4e7e7520f1cd2298 diff --git a/snapshot-interface.h b/snapshot-interface.h index 9912a1b7..c0db0d0c 100644 --- a/snapshot-interface.h +++ b/snapshot-interface.h @@ -10,7 +10,7 @@ typedef unsigned int snapshot_id; typedef void (*VoidFuncPtr)(); -void initSnapShotLibrary(unsigned int numbackingpages, +void initSnapshotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, unsigned int numheappages, VoidFuncPtr entryPoint);