diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-05 14:34:18 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-05 14:34:18 -0800 |
| commit | 80447e5711461fa58cf61d17a6a1b79f7dcd5294 (patch) | |
| tree | 56a5ace30a808a606346c63b9d533cbcb787619e /pk/frontend.h | |
| parent | bbc9a65fed7c85ee058d7188a62f0b904c38b77b (diff) | |
| download | pk-80447e5711461fa58cf61d17a6a1b79f7dcd5294.zip pk-80447e5711461fa58cf61d17a6a1b79f7dcd5294.tar.gz pk-80447e5711461fa58cf61d17a6a1b79f7dcd5294.tar.bz2 | |
Disentangle PK and BBL a bit
Diffstat (limited to 'pk/frontend.h')
| -rw-r--r-- | pk/frontend.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pk/frontend.h b/pk/frontend.h index ea5d244..2cf5f81 100644 --- a/pk/frontend.h +++ b/pk/frontend.h @@ -18,7 +18,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)); +void shutdown(int) __attribute__((noreturn)); long frontend_syscall(long n, long a0, long a1, long a2, long a3, long a4, long a5, long a6); struct frontend_stat { |