Properly assign cpuwip-edf-os

1 files changed, 4 insertions, 2 deletions

diff --git a/include/litmus.h b/include/litmus.h
index 8f997a0..0139d25 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -30,6 +30,8 @@ int get_rt_task_param(pid_t pid, struct rt_task* param);
 
 /* setup helper */
 
+unsigned int compute_initial_cpu_edfos(lt_t fracs[][2]);
+
 /* times are given in ms */
 int sporadic_task(
                 lt_t e, lt_t p, lt_t phase,
@@ -47,7 +49,7 @@ int sporadic_task_ns_edffm(lt_t e, lt_t p, lt_t phase, int cpu,
                 task_class_t cls, budget_policy_t budget_policy,
                 int set_cpu_set);
 
-int sporadic_task_ns_edfos(lt_t e, lt_t p, lt_t phase,
+int sporadic_task_ns_edfos(lt_t e, lt_t p, lt_t phase, int cpu,
                 lt_t fracs[][2], task_class_t cls,
                 budget_policy_t budget_policy);
 
@@ -107,7 +109,7 @@ int __create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet,
 int __create_rt_task_edffm(rt_fn_t rt_prog, void *arg, int cpu, int wcet,
                 int period, lt_t *frac1, lt_t *frac2,
                 int cpu1, int cpu2, task_class_t class);
-int __create_rt_task_edfos(rt_fn_t rt_prog, void *arg, int wcet,
+int __create_rt_task_edfos(rt_fn_t rt_prog, void *arg, int cpu, int wcet,
                 int period, lt_t fracs[][2], task_class_t class);
 int __create_rt_task_npsf(rt_fn_t rt_prog, void *arg, int cpu, int wcet,
                 int period, int npsf_id, task_class_t class);