Remove dependence on machine/syscall.h

diff --git a/benchmarks/common/syscalls.c b/benchmarks/common/syscalls.c
index 1e4efab1e3f28ff6cf70b4463f5d7e1e48aaa8cd..c8688ebe279eaf86009c4ff78fc1cf87a7b32b35 100644 (file)
--- a/benchmarks/common/syscalls.c
+++ b/benchmarks/common/syscalls.c
@@ -3,9 +3,10 @@
 #include <stdarg.h>
 #include <stdio.h>
 #include <limits.h>
-#include <machine/syscall.h>
 #include "util.h"
 
+#define SYS_write 64
+#define SYS_exit 93
 #define SYS_stats 1234
 
 // initialized in crt.S