From 4fbf574543fe76c2ca75c9a524782449d8ff135a Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Mon, 15 Dec 2014 18:10:13 -0800
Subject: [PATCH] Remove dependence on machine/syscall.h

---
 benchmarks/common/syscalls.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/benchmarks/common/syscalls.c b/benchmarks/common/syscalls.c
index 1e4efab..c8688eb 100644
--- 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
-- 
2.30.2