aboutsummaryrefslogtreecommitdiffstats
path: root/src/syscalls.c
diff options
context:
space:
mode:
authorztong <ztong@cs.unc.edu>2021-03-01 19:30:52 -0500
committerztong <ztong@cs.unc.edu>2021-03-01 19:30:52 -0500
commitf5160dfa9d1184f5bc90b7b8bf6f99c83e66e391 (patch)
treeddd260603a5183eb93e60ccb77d231740d39d01d /src/syscalls.c
parentb084d236bb49863975667bfa2faadf0154d823b6 (diff)
Added exit forbidden zone syscallHEADmaster
Diffstat (limited to 'src/syscalls.c')
-rw-r--r--src/syscalls.c5
1 files changed, 5 insertions, 0 deletions
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)
84 return litmus_syscall(LRT_access_forbidden_zone_check, (unsigned long) &args); 84 return litmus_syscall(LRT_access_forbidden_zone_check, (unsigned long) &args);
85} 85}
86 86
87int litmus_exit_forbidden_zone(int od)
88{
89 return litmus_syscall(LRT_exit_forbidden_zone, od);
90}
91
87int litmus_unlock(int od) 92int litmus_unlock(int od)
88{ 93{
89 return litmus_syscall(LRT_litmus_unlock, od); 94 return litmus_syscall(LRT_litmus_unlock, od);