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 6f7db7a351c781feefeaf7cc7d46104991463814..0acf47b79545a9cbb04c40224fe46e418ef2a26d 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