X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=snapshot.h;h=d3fc7b80f9856e5c83a662ba1235c72a6f1b18f4;hp=f8995923184d934a5a7a8560832736f6e2c6d5a3;hb=ea4611c1fc3b580020afbc04d531e4bc10fcca9c;hpb=1dbc6ce8102e79ead8c3ae09214126abab1b5c51 diff --git a/snapshot.h b/snapshot.h index f899592..d3fc7b8 100644 --- a/snapshot.h +++ b/snapshot.h @@ -7,13 +7,14 @@ #include "snapshot-interface.h" #include "config.h" +#include "mymemory.h" -void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages ); -snapshot_id takeSnapshot( ); -void rollBack( snapshot_id theSnapShot ); +void snapshot_add_memory_region(void *ptr, unsigned int numPages); +snapshot_id take_snapshot(); +void snapshot_roll_back(snapshot_id theSnapShot); #if !USE_MPROTECT_SNAPSHOT -void createSharedMemory(); +mspace create_shared_mspace(); #endif #endif