1 files changed, 6 insertions, 0 deletions

diff --git a/include/litmus.h b/include/litmus.h
index 4d6a9d9..3b12516 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -247,6 +247,12 @@ int litmus_lock_cs(int od, lt_t cs_len);
  */
 int litmus_access_forbidden_zone_check(int od, lt_t fz_len, lt_t panic_len);
 /**
+ * exit forbidden zone
+ * @param od Object descriptor obtained by litmus_open_lock()
+ * @return 0 iff exits successfully
+ */
+int litmus_exit_forbidden_zone(int od);
+/**
  * Release lock
  * @param od Object descriptor obtained by litmus_open_lock()
  * @return 0 iff the lock was released successfully