diff options
Diffstat (limited to 'include/litmus/litmus.h')
-rw-r--r-- | include/litmus/litmus.h | 4 |
1 files changed, 4 insertions, 0 deletions
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; | |||
14 | 14 | ||
15 | void litmus_schedule_deallocation(struct task_struct *t); | 15 | void litmus_schedule_deallocation(struct task_struct *t); |
16 | 16 | ||
17 | #ifdef CONFIG_ARCH_NEEDS_UNCACHED_CONTROL_PAGE | ||
18 | void * remap_noncached(void *addr, size_t len); | ||
19 | #endif | ||
20 | |||
17 | /* in_list - is a given list_head queued on some list? | 21 | /* in_list - is a given list_head queued on some list? |
18 | */ | 22 | */ |
19 | static inline int in_list(struct list_head* list) | 23 | static inline int in_list(struct list_head* list) |