Defining the interfaces to add various regions to snapshot
[c11tester.git] / snapshot.h
index f0e36f089b6e8ef145352765d296ba2aca05629a..c737dece2f1a7d5390c224e56d41144ae6c420c2 100644 (file)
@@ -7,7 +7,7 @@ typedef unsigned int snapshot_id;
 typedef void (*MyFuncPtr)();
 void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, MyFuncPtr entryPoint);
 
-void addMemoryRegionToSnapShot( void * ptr, unsigned int numBytes );
+void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages );
 
 snapshot_id takeSnapshot( );