Added exit forbidden zone syscallHEADmaster

3 files changed, 13 insertions, 0 deletions

diff --git a/bin/rtspin.c b/bin/rtspin.c
index 8006840..369b7c3 100644
--- a/bin/rtspin.c
+++ b/bin/rtspin.c
@@ -323,6 +323,8 @@ static void job(double exec_time, double program_end, int lock_od, double cs_len
                 if (check_fz)
                         litmus_access_forbidden_zone_check(lock_od, s2ns(cs_length), s2ns(cs_length));
                 loop_for(cs_length, program_end + 1);
+                if (check_fz)
+                        litmus_exit_forbidden_zone(lock_od);
                 litmus_unlock(lock_od);
 
                 /* non-critical section */
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
diff --git a/src/syscalls.c b/src/syscalls.c
index af46570..908d94b 100644
--- a/src/syscalls.c
+++ b/src/syscalls.c
@@ -84,6 +84,11 @@ int litmus_access_forbidden_zone_check(int od, lt_t fz_len, lt_t panic_len)
         return litmus_syscall(LRT_access_forbidden_zone_check, (unsigned long) &args);
 }
 
+int litmus_exit_forbidden_zone(int od)
+{
+        return litmus_syscall(LRT_exit_forbidden_zone, od);
+}
+
 int litmus_unlock(int od)
 {
         return litmus_syscall(LRT_litmus_unlock, od);