1 files changed, 6 insertions, 0 deletions

diff --git a/include/litmus.h b/include/litmus.h
index b4affb1..dd9b95f 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -235,6 +235,12 @@ int litmus_open_lock(obj_type_t protocol, int lock_id, const char* name_space,
  */
 int litmus_lock(int od);
 /**
+ * Obtain lock with specified worst-case critical section duration
+ * @param od Object descriptor obtained by litmus_open_lock()
+ * @return 0 iff the lock was opened successfully
+ */
+int litmus_lock_cs(int od, lt_t cs_len);
+/**
  *  Access protected resource (wait if in forbidden zone)
  * @param od Object descriptor obtained by litmus_open_lock()
  * @return 0 iff the resource access was granted successfully