diff options
author | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-10-12 17:10:34 -0400 |
---|---|---|
committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-10-12 17:10:34 -0400 |
commit | 2bed3116318647479e14aa22ff762bed16c066b4 (patch) | |
tree | a411ed894da2447c08d1134950049911a9edcaf9 /include/litmus/replicate_lib.h | |
parent | 4172fff1a3870af7d65675e05eb0b7aba3804ea8 (diff) |
RTAS 2017 with debug infomation.
Diffstat (limited to 'include/litmus/replicate_lib.h')
-rw-r--r-- | include/litmus/replicate_lib.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/include/litmus/replicate_lib.h b/include/litmus/replicate_lib.h index 773468497416..186837be08a5 100644 --- a/include/litmus/replicate_lib.h +++ b/include/litmus/replicate_lib.h | |||
@@ -5,11 +5,12 @@ | |||
5 | #include <linux/mm_types.h> | 5 | #include <linux/mm_types.h> |
6 | #include <linux/mm_inline.h> | 6 | #include <linux/mm_inline.h> |
7 | 7 | ||
8 | /* Data structure for the "master" list */ | ||
8 | struct shared_lib_page { | 9 | struct shared_lib_page { |
9 | struct page *master_page; | 10 | struct page *master_page; |
10 | struct page *r_page[NR_CPUS]; | 11 | struct page *r_page[NR_CPUS+1]; |
11 | unsigned long int master_pfn; | 12 | unsigned long int master_pfn; |
12 | unsigned long int r_pfn[NR_CPUS]; | 13 | unsigned long int r_pfn[NR_CPUS+1]; |
13 | struct list_head list; | 14 | struct list_head list; |
14 | }; | 15 | }; |
15 | 16 | ||