diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-12 17:38:04 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-12 17:38:04 -0700 |
| commit | 6517fe26a2a0c89c3112f4a383c601572c71d64a (patch) | |
| tree | d37eea7ae6f3e15eee94afb5c9c749a4cd800577 /pk/frontend.h | |
| parent | a4ae7da6ef0c09c2616a0b82f7f569e4e134f75c (diff) | |
| download | pk-6517fe26a2a0c89c3112f4a383c601572c71d64a.zip pk-6517fe26a2a0c89c3112f4a383c601572c71d64a.tar.gz pk-6517fe26a2a0c89c3112f4a383c601572c71d64a.tar.bz2 | |
Update to new privileged spec
Diffstat (limited to 'pk/frontend.h')
| -rw-r--r-- | pk/frontend.h | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/pk/frontend.h b/pk/frontend.h index dde0d0c..b6418f2 100644 --- a/pk/frontend.h +++ b/pk/frontend.h @@ -3,6 +3,21 @@ #ifndef _RISCV_FRONTEND_H #define _RISCV_FRONTEND_H +#include <stdint.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) + long frontend_syscall(long n, long a0, long a1, long a2, long a3, long a4, long a5, long a6); +uint64_t tohost_sync(unsigned dev, unsigned cmd, uint64_t payload); #endif |