diff options
| author | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2011-06-19 20:37:58 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2011-06-19 20:37:58 -0700 |
| commit | e63e4fbe8794c68e1ad846a36e33cba62e801b34 (patch) | |
| tree | 4b825dc642cb6eb9a060e54bf8d69288fbee4904 /pk/frontend.h | |
| parent | 13c751687d01dc59bfd3e0913cecadf17f025caa (diff) | |
| download | pk-e63e4fbe8794c68e1ad846a36e33cba62e801b34.zip pk-e63e4fbe8794c68e1ad846a36e33cba62e801b34.tar.gz pk-e63e4fbe8794c68e1ad846a36e33cba62e801b34.tar.bz2 | |
Renamed packages
Diffstat (limited to 'pk/frontend.h')
| -rw-r--r-- | pk/frontend.h | 8 |
1 files changed, 0 insertions, 8 deletions
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 |