From 0edaecc54329048eb91ad6a45338265ef1a4569c Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Date: Sun, 19 Jun 2011 20:47:29 -0700
Subject: temporary undoing of renaming

---
 pk/frontend.h | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 pk/frontend.h

(limited to 'pk/frontend.h')

diff --git a/pk/frontend.h b/pk/frontend.h
new file mode 100644
index 0000000..86a8917
--- /dev/null
+++ b/pk/frontend.h
@@ -0,0 +1,8 @@
+#ifndef _RISCV_FRONTEND_H
+#define _RISCV_FRONTEND_H
+
+#include <machine/syscall.h>
+
+sysret_t frontend_syscall(long n, long a0, long a1, long a2, long a3);
+
+#endif
-- 
cgit v1.1