aboutsummaryrefslogtreecommitdiff
path: root/pk/frontend.h
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@cs.berkeley.edu>2016-03-09 23:58:17 -0800
committerAndrew Waterman <waterman@cs.berkeley.edu>2016-03-09 23:58:17 -0800
commitb94c7a4b07f96f24ae7411780abf874416549f7b (patch)
treeb94ca015e49392f52e5abf1209ee184fcf874db4 /pk/frontend.h
parentf5a96732cb81571a3ba6b081b8556187d564f678 (diff)
downloadpk-b94c7a4b07f96f24ae7411780abf874416549f7b.zip
pk-b94c7a4b07f96f24ae7411780abf874416549f7b.tar.gz
pk-b94c7a4b07f96f24ae7411780abf874416549f7b.tar.bz2
Refactor pk, bbl, machine into separate libraries
Yuck.
Diffstat (limited to 'pk/frontend.h')
-rw-r--r--pk/frontend.h12
1 files changed, 0 insertions, 12 deletions
diff --git a/pk/frontend.h b/pk/frontend.h
index 2cf5f81..5b9df31 100644
--- a/pk/frontend.h
+++ b/pk/frontend.h
@@ -6,18 +6,6 @@
#include <stdint.h>
#include <sys/stat.h>
-#ifdef __riscv64
-# define TOHOST_CMD(dev, cmd, payload) \
- (((uint64_t)(dev) << 56) | ((uint64_t)(cmd) << 48) | (uint64_t)(payload))
-#else
-# define TOHOST_CMD(dev, cmd, payload) ({ \
- if ((dev) || (cmd)) __builtin_trap(); \
- (payload); })
-#endif
-#define FROMHOST_DEV(fromhost_value) ((uint64_t)(fromhost_value) >> 56)
-#define FROMHOST_CMD(fromhost_value) ((uint64_t)(fromhost_value) << 8 >> 56)
-#define FROMHOST_DATA(fromhost_value) ((uint64_t)(fromhost_value) << 16 >> 16)
-
void shutdown(int) __attribute__((noreturn));
long frontend_syscall(long n, long a0, long a1, long a2, long a3, long a4, long a5, long a6);