X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=snapshot.cc;h=e9a9783be7b0cbd9a3115076409abeb83f4a8dfa;hb=f414baab33bc07147613258c33798cc226bc5425;hp=99b9d7958753d49b77513e279ff40bd4196ad178;hpb=7d2149ffbbc1a3514838d721a71bb0d4c81054b3;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 99b9d79..e9a9783 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -57,7 +57,7 @@ static void * ReturnPageAlignedAddress(void * addr) {
 /** The initSnapShotRecord method initialized the snapshotting data
  *  structures for the mprotect based snapshot. 
  */
-void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions) {
+static void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions) {
 	snapshotrecord=( struct SnapShot * )MYMALLOC(sizeof(struct SnapShot));
 	snapshotrecord->regionsToSnapShot=( struct MemoryRegion * )MYMALLOC(sizeof(struct MemoryRegion)*nummemoryregions);
 	snapshotrecord->backingStoreBasePtr= ( struct SnapShotPage * )MYMALLOC( sizeof( struct SnapShotPage ) * (numbackingpages + 1) );
@@ -77,8 +77,7 @@ void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsnapshots,
 /** HandlePF is the page fault handler for mprotect based snapshotting
  * algorithm.
  */
-
-void HandlePF( int sig, siginfo_t *si, void * unused){
+static void HandlePF( int sig, siginfo_t *si, void * unused){
 #if USE_MPROTECT_SNAPSHOT
 	if( si->si_code == SEGV_MAPERR ){
 		printf("Real Fault at %p\n", si->si_addr);