FDSO: make types available to user space

2 files changed, 8 insertions, 2 deletions

diff --git a/include/litmus.h b/include/litmus.h
index 05f6d3c..2aac46f 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -75,7 +75,13 @@ int scheduler_setup(int cmd, void* param);
 
 
 /* file descriptor attached shared objects support */
-int od_open(int fd, int type, int obj_id);
+
+typedef enum  {
+        PI_SEM          = 0,
+        SRP_SEM         = 1,
+        ICS_ID          = 2,
+} obj_type_t;
+int od_open(int fd, obj_type_t type, int obj_id);
 int od_close(int od);
 
 /* FMLP support */
diff --git a/src/litmus.c b/src/litmus.c
index 01acf73..fe01e0e 100644
--- a/src/litmus.c
+++ b/src/litmus.c
@@ -326,7 +326,7 @@ _syscall2(int,     scheduler_setup,   int,         cmd,    void*,       param);
 _syscall1(int,     register_np_flag, struct np_flag*, flag);
 _syscall0(int,     signal_exit_np);
 
-_syscall3(int,     od_open,           int,  fd, int, type, int, obj_id);
+_syscall3(int,     od_open,           int,  fd, obj_type_t, type, int, obj_id);
 _syscall1(int,     od_close,          int,  od);
 _syscall1(int,     pi_down,           int,  od);
 _syscall1(int,     pi_up,             int,  od);