1 files changed, 6 insertions, 1 deletions

diff --git a/include/litmus.h b/include/litmus.h
index a1ee59f..d45cbd0 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -49,7 +49,8 @@ int sporadic_task_ns(
 /* file descriptor attached shared objects support */
 typedef enum  {
         FMLP_SEM        = 0,
-        SRP_SEM         = 1,
+        KFMLP_SEM       = 1,
+        SRP_SEM         = 2,
 } obj_type_t;
 
 int od_openx(int fd, obj_type_t type, int obj_id, void* config);
@@ -128,6 +129,10 @@ static inline int open_srp_sem(int fd, int name)
         return od_open(fd, SRP_SEM, name);
 }
 
+static inline int open_kfmlp_sem(int fd, int name, void* arg)
+{
+        return od_openx(fd, KFMLP_SEM, name, arg);
+}
 
 /* syscall overhead measuring */
 int null_call(cycles_t *timestamp);