From e63e4fbe8794c68e1ad846a36e33cba62e801b34 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Date: Sun, 19 Jun 2011 20:37:58 -0700
Subject: Renamed packages

---
 pk/frontend.h | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 pk/frontend.h

(limited to 'pk/frontend.h')

diff --git a/pk/frontend.h b/pk/frontend.h
deleted file mode 100644
index 86a8917..0000000
--- a/pk/frontend.h
+++ /dev/null
@@ -1,8 +0,0 @@
-#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