diff options
| author | John M. Calandrino <jmc@jupiter-cs.cs.unc.edu> | 2007-04-24 21:16:41 -0400 |
|---|---|---|
| committer | John M. Calandrino <jmc@jupiter-cs.cs.unc.edu> | 2007-04-24 21:16:41 -0400 |
| commit | 08460431b461271ca48a9c65c66f18adb87749aa (patch) | |
| tree | a7bf7c35ccdba5fffa15efd39f9cecaa3f780f0b | |
| parent | 4786daec76a7f89b76adf103e1b8aa77907636b7 (diff) | |
Added some missing function prototypes to litmus.h, so that liblitmus can
be linked into other places later (such as libso).
| -rw-r--r-- | litmus.h | 8 |
1 files changed, 8 insertions, 0 deletions
| @@ -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); |