aboutsummaryrefslogtreecommitdiffstats
path: root/include/litmus
diff options
context:
space:
mode:
authorNamhoon Kim <namhoonk@cs.unc.edu>2016-09-09 16:18:12 -0400
committerNamhoon Kim <namhoonk@cs.unc.edu>2016-09-09 16:18:12 -0400
commit805c547ee3cdc2ef6a5f7556fdf449ced2e48680 (patch)
treeabeae409739a576291942281f9acf56725d73a1a /include/litmus
parent418e60bb6948a4cf6eb7c737bea21c2314619c73 (diff)
TODO: Fix condition checks in replicate_page_move_mapping()wip-shared-lib
Diffstat (limited to 'include/litmus')
-rw-r--r--include/litmus/replicate_lib.h6
1 files changed, 5 insertions, 1 deletions
diff --git a/include/litmus/replicate_lib.h b/include/litmus/replicate_lib.h
index af2af36b6b79..480ce4631529 100644
--- a/include/litmus/replicate_lib.h
+++ b/include/litmus/replicate_lib.h
@@ -7,8 +7,12 @@
7 7
8struct shared_lib_page { 8struct shared_lib_page {
9 struct page *p_page; 9 struct page *p_page;
10 unsigned long pfn; 10 struct page *r_page;
11 unsigned long p_pfn;
12 unsigned long r_pfn;
11 struct list_head list; 13 struct list_head list;
12}; 14};
13 15
16extern struct list_head shared_lib_pages;
17
14#endif 18#endif