aboutsummaryrefslogtreecommitdiffstats
path: root/include
diff options
context:
space:
mode:
authorChristopher Kenna <cjk@cs.unc.edu>2012-04-01 19:24:46 -0400
committerChristopher Kenna <cjk@cs.unc.edu>2012-04-08 14:32:31 -0400
commitae95a4582d707de8a57a8159ea81b16ba7bddd54 (patch)
tree2d4af6e521e655e52cb51476ccf7c20d1d8cfe9c /include
parentdb4d9fcd3dfbda54b351ef42c13d93a00009784f (diff)
Page reclaiming, control devices, cleanup.
Track allocated pages and add a proc handler to reclaim free pages and add control device for allocating colored memory with mmap.
Diffstat (limited to 'include')
-rw-r--r--include/litmus/color.h3
-rw-r--r--include/litmus/rt_param.h2
2 files changed, 5 insertions, 0 deletions
diff --git a/include/litmus/color.h b/include/litmus/color.h
index a4aa3034a36a..9c641c884ba2 100644
--- a/include/litmus/color.h
+++ b/include/litmus/color.h
@@ -12,12 +12,15 @@ struct color_cache_info {
12}; 12};
13 13
14void add_page_to_color_list(struct page*); 14void add_page_to_color_list(struct page*);
15void add_page_to_alloced_list(struct page*);
15struct page* get_colored_page(unsigned long); 16struct page* get_colored_page(unsigned long);
16 17
17int color_add_pages_handler(struct ctl_table *, int, void __user *, 18int color_add_pages_handler(struct ctl_table *, int, void __user *,
18 size_t *, loff_t *); 19 size_t *, loff_t *);
19int color_nr_pages_handler(struct ctl_table *, int, void __user *, 20int color_nr_pages_handler(struct ctl_table *, int, void __user *,
20 size_t *, loff_t *); 21 size_t *, loff_t *);
22int color_reclaim_pages_handler(struct ctl_table *, int, void __user *,
23 size_t *, loff_t *);
21 24
22#ifdef CONFIG_LOCKDEP 25#ifdef CONFIG_LOCKDEP
23#define LITMUS_LOCKDEP_NAME_MAX_LEN 50 26#define LITMUS_LOCKDEP_NAME_MAX_LEN 50
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h
index d6d799174160..29e12219c642 100644
--- a/include/litmus/rt_param.h
+++ b/include/litmus/rt_param.h
@@ -197,6 +197,8 @@ struct rt_param {
197 197
198 /* Pointer to the page shared between userspace and kernel. */ 198 /* Pointer to the page shared between userspace and kernel. */
199 struct control_page * ctrl_page; 199 struct control_page * ctrl_page;
200
201 struct color_page *color_ctrl_page;
200}; 202};
201 203
202/* Possible RT flags */ 204/* Possible RT flags */