diff options
| author | John M. Calandrino <jmc@jupiter-cs.cs.unc.edu> | 2007-04-23 17:29:20 -0400 |
|---|---|---|
| committer | John M. Calandrino <jmc@jupiter-cs.cs.unc.edu> | 2007-04-23 17:29:20 -0400 |
| commit | 4786daec76a7f89b76adf103e1b8aa77907636b7 (patch) | |
| tree | 6990c8b5bcc5ce198ae79245a7bc00718882e341 /litmus.h | |
| parent | b004572dbb820158a495f5ab299e60685601fe46 (diff) | |
Added system calls for user-space semaphores that work with the LSO.
Diffstat (limited to 'litmus.h')
| -rw-r--r-- | litmus.h | 3 |
1 files changed, 3 insertions, 0 deletions
| @@ -47,6 +47,9 @@ typedef struct rt_param { | |||
| 47 | task_class_t cls; | 47 | task_class_t cls; |
| 48 | } rt_param_t; | 48 | } rt_param_t; |
| 49 | 49 | ||
| 50 | typedef int sema_id; /* ID of a semaphore in the Linux kernel */ | ||
| 51 | typedef int pi_sema_id; /* ID of a PI semaphore in the Linux kernel */ | ||
| 52 | |||
| 50 | #define set_param(t,p,e) do{\ | 53 | #define set_param(t,p,e) do{\ |
| 51 | (t).is_realtime=1;\ | 54 | (t).is_realtime=1;\ |
| 52 | (t).exec_cost=(e);\ | 55 | (t).exec_cost=(e);\ |