projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
factor page alignment into function call...place near existing call
[model-checker.git]
/
snapshotimp.h
diff --git
a/snapshotimp.h
b/snapshotimp.h
index 0f2d4b806df3869c3e3c2f2b278ca9687649e213..4991845ce37921c4cf1aa1f7d9045b08ca2994a1 100644
(file)
--- a/
snapshotimp.h
+++ b/
snapshotimp.h
@@
-52,6
+52,7
@@
struct SnapShot {
//Global reference to snapshot data structure
extern struct SnapShot * snapshotrecord;
void * ReturnPageAlignedAddress( void *);
+void * PageAlignAddressUpward( void *);
#else
struct Snapshot_t{
char *mSharedMemoryBase;