diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-10 22:16:46 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-10 22:17:39 -0700 |
| commit | 87683e74f566afe6acaf77fd79cc0bf2746bf136 (patch) | |
| tree | e1ced1ee44c10ec1662897abde09e4bed2d0dcca /pk/frontend.h | |
| parent | 50a2d6ca7fb63cfabd0f8bc086abb8fcd49f0ded (diff) | |
| download | pk-87683e74f566afe6acaf77fd79cc0bf2746bf136.zip pk-87683e74f566afe6acaf77fd79cc0bf2746bf136.tar.gz pk-87683e74f566afe6acaf77fd79cc0bf2746bf136.tar.bz2 | |
Split pk functionality into pk and bbl
pk is now an AEE only (i.e. it can only execute user programs).
bbl is now an SEE only (i.e. it can only host kernels).
Diffstat (limited to 'pk/frontend.h')
| -rw-r--r-- | pk/frontend.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pk/frontend.h b/pk/frontend.h index b6418f2..40f7c19 100644 --- a/pk/frontend.h +++ b/pk/frontend.h @@ -17,6 +17,7 @@ #define FROMHOST_CMD(fromhost_value) ((uint64_t)(fromhost_value) << 8 >> 56) #define FROMHOST_DATA(fromhost_value) ((uint64_t)(fromhost_value) << 16 >> 16) +void die(int) __attribute__((noreturn)); 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); |