From 87683e74f566afe6acaf77fd79cc0bf2746bf136 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Sun, 10 May 2015 22:16:46 -0700 Subject: 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). --- pk/frontend.h | 1 + 1 file changed, 1 insertion(+) (limited to 'pk/frontend.h') 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); -- cgit v1.1