X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshotimp.h;h=3999477a8e675174f204a4d3e47b213a1a5d5b8a;hb=5f71c5e271a6fd27f2300b87b6bb45e122348320;hp=fbff35f42470e8d2604f0236690af2773c6c29dc;hpb=6e5c0bb2359b9fba6160957ffa88974233ba18ac;p=model-checker.git

diff --git a/snapshotimp.h b/snapshotimp.h
index fbff35f..3999477 100644
--- a/snapshotimp.h
+++ b/snapshotimp.h
@@ -18,10 +18,8 @@ struct SnapShotRecord {
 	unsigned int firstBackingPage;
 };
 
-//Backing store page struct
-struct SnapShotPage {
-	char data[PAGESIZE];
-};
+/** @brief Backing store page */
+typedef unsigned char snapshot_page_t[PAGESIZE];
 
 //List the base address of the corresponding page in the backing store so we know where to copy it to
 struct BackingPageRecord {
@@ -37,7 +35,7 @@ struct MemoryRegion {
 //Primary struct for snapshotting system....
 struct SnapShot {
 	struct MemoryRegion *regionsToSnapShot; //This pointer references an array of memory regions to snapshot
-	struct SnapShotPage *backingStore; //This pointer references an array of snapshotpage's that form the backing store
+	snapshot_page_t *backingStore; //This pointer references an array of snapshotpage's that form the backing store
 	void *backingStoreBasePtr; //This pointer references an array of snapshotpage's that form the backing store
 	struct BackingPageRecord *backingRecords; //This pointer references an array of backingpagerecord's (same number of elements as backingstore
 	struct SnapShotRecord *snapShots; //This pointer references the snapshot array