diff options
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 |