uncachable color control page

Signed-off-by: Christopher Kenna <cjk@cs.unc.edu>

3 files changed, 13 insertions, 0 deletions

diff --git a/include/litmus/color.h b/include/litmus/color.h
index eefb6c6dddf5..0e67028f8ea3 100644
--- a/include/litmus/color.h
+++ b/include/litmus/color.h
@@ -6,6 +6,12 @@
 #define ONE_COLOR_LEN 11
 #define ONE_COLOR_FMT "%4lu: %4d\n"
 
+#ifdef CONFIG_PHYS_ADDR_T_64BIT
+#define FMT_PA "llx"
+#else
+#define FMT_PA "lx"
+#endif
+
 struct color_cache_info {
         unsigned long size;
         unsigned long line_size;
diff --git a/include/litmus/litmus.h b/include/litmus/litmus.h
index 93961d08efd5..91623528ad9e 100644
--- a/include/litmus/litmus.h
+++ b/include/litmus/litmus.h
@@ -14,6 +14,10 @@ extern atomic_t release_master_cpu;
 
 void litmus_schedule_deallocation(struct task_struct *t);
 
+#ifdef CONFIG_ARCH_NEEDS_UNCACHED_CONTROL_PAGE
+void * remap_noncached(void *addr, size_t len);
+#endif
+
 /* in_list - is a given list_head queued on some list?
  */
 static inline int in_list(struct list_head* list)
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h
index 1ee65e19d7b7..e9e26faddcea 100644
--- a/include/litmus/rt_param.h
+++ b/include/litmus/rt_param.h
@@ -277,6 +277,9 @@ struct rt_param {
         lt_t last_exec_time;
         lt_t orig_cost;
         struct color_ctrl_page *color_ctrl_page;
+#ifdef CONFIG_ARCH_NEEDS_UNCACHED_CONTROL_PAGE
+        void *color_ctrl_page_orig;
+#endif
         struct dgl_group_req *req;
 };