aboutsummaryrefslogtreecommitdiffstats
path: root/include/litmus.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/litmus.h')
-rw-r--r--include/litmus.h10
1 files changed, 10 insertions, 0 deletions
diff --git a/include/litmus.h b/include/litmus.h
index 06f84bb..b0095e3 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -145,6 +145,16 @@ void init_litmus(void);
145int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period); 145int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period);
146int __create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, 146int __create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet,
147 int period, task_class_t cls); 147 int period, task_class_t cls);
148
149
150/* per-task modes */
151enum rt_task_mode_t {
152 BACKGROUND_TASK = 0,
153 LITMUS_RT_TASK = 1
154};
155int task_mode_transition(int target_mode);
156
157
148const char* get_scheduler_name(spolicy scheduler); 158const char* get_scheduler_name(spolicy scheduler);
149void show_rt_param(rt_param_t* tp); 159void show_rt_param(rt_param_t* tp);
150task_class_t str2class(const char* str); 160task_class_t str2class(const char* str);