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