aboutsummaryrefslogtreecommitdiffstats
path: root/include/litmus
diff options
context:
space:
mode:
authorNamhoon Kim <namhoonk@cs.unc.edu>2016-09-09 03:07:58 -0400
committerNamhoon Kim <namhoonk@cs.unc.edu>2016-09-09 03:07:58 -0400
commit418e60bb6948a4cf6eb7c737bea21c2314619c73 (patch)
tree4dc9a4f1ee2b04ff92a331beef7944c9e5126bea /include/litmus
parentd57b8f5a8e2d08fa972dad6b646a02a5dd931be4 (diff)
Shared library identification
Diffstat (limited to 'include/litmus')
-rw-r--r--include/litmus/replicate_lib.h14
1 files changed, 14 insertions, 0 deletions
diff --git a/include/litmus/replicate_lib.h b/include/litmus/replicate_lib.h
new file mode 100644
index 000000000000..af2af36b6b79
--- /dev/null
+++ b/include/litmus/replicate_lib.h
@@ -0,0 +1,14 @@
1#ifndef LITMUS_REPLICATE_LIB_H
2#define LITMUS_REPLICATE_LIB_H
3
4#include <linux/list.h>
5#include <linux/mm_types.h>
6#include <linux/mm_inline.h>
7
8struct shared_lib_page {
9 struct page *p_page;
10 unsigned long pfn;
11 struct list_head list;
12};
13
14#endif