From 26c11e6c1d70575a28767d7f99eb266ec945c026 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Mon, 18 Jul 2016 10:57:19 +0200
Subject: [PATCH] [RTL] Invocation of kill and getpid via syscall

---
 src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h
index 6f7db7a351c..0acf47b7954 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h
@@ -55,4 +55,6 @@ int syscall(int number, ...);
 #  define getrlimit(...) syscall(SYS_getrlimit, __VA_ARGS__)
 #  define munmap(...) syscall(SYS_munmap, __VA_ARGS__)
 #  define exit(...) syscall(SYS_exit, __VA_ARGS__)
+#  define getpid(...) syscall(SYS_getpid)
+#  define kill(...) syscall(SYS_kill, __VA_ARGS__)
 #endif
-- 
GitLab