1 files changed, 8 insertions, 0 deletions
diff --git a/litmus.h b/litmus.h
index f46e705..7fa6ede 100644
--- a/litmus.h
+++ b/litmus.h
@@ -72,6 +72,14 @@ int sleep_next_period(void);
 int scheduler_setup(int cmd, void* param);
 int enter_np(void);
 int exit_np(void);
+int pi_sema_init(void);
+int pi_down(pi_sema_id sem_id);
+int pi_up(pi_sema_id sem_id);
+int pi_sema_free(pi_sema_id sem_id);
+int sema_init(void);
+int down(sema_id sem_id);
+int up(sema_id sem_id);
+int sema_free(sema_id sem_id);
 /*  library functions */
 int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period);

diff --git a/litmus.h b/litmus.h index f46e705..7fa6ede 100644 --- a/litmus.h +++ b/litmus.h
@@ -72,6 +72,14 @@ int sleep_next_period(void);
72	int scheduler_setup(int cmd, void* param);	72	int scheduler_setup(int cmd, void* param);
73	int enter_np(void);	73	int enter_np(void);
74	int exit_np(void);	74	int exit_np(void);
		75	int pi_sema_init(void);
		76	int pi_down(pi_sema_id sem_id);
		77	int pi_up(pi_sema_id sem_id);
		78	int pi_sema_free(pi_sema_id sem_id);
		79	int sema_init(void);
		80	int down(sema_id sem_id);
		81	int up(sema_id sem_id);
		82	int sema_free(sema_id sem_id);
75		83
76	/* library functions */	84	/* library functions */
77	int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period);	85	int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period);