diff options
| author | Andrew Waterman <waterman@eecs.berkeley.edu> | 2013-11-25 02:02:42 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@eecs.berkeley.edu> | 2013-11-25 02:03:48 -0800 |
| commit | f62e692e72d1626977be0e92f766bdeed305d903 (patch) | |
| tree | 0823636782afa9a01505cb12a1f1c5c2909fcbf6 /pk/pk.h | |
| parent | a8889d65d249a71f009433766a1e9b1405945708 (diff) | |
| download | riscv-pk-f62e692e72d1626977be0e92f766bdeed305d903.zip riscv-pk-f62e692e72d1626977be0e92f766bdeed305d903.tar.gz riscv-pk-f62e692e72d1626977be0e92f766bdeed305d903.tar.bz2 | |
Update to new privileged ISA
Diffstat (limited to 'pk/pk.h')
| -rw-r--r-- | pk/pk.h | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -7,6 +7,7 @@ #include <stdint.h> #include <string.h> +#include "encoding.h" typedef struct { @@ -42,7 +43,7 @@ int emulate_int(trapframe_t*); void printk(const char* s, ...); void init_tf(trapframe_t*, long pc, long sp, int user64); -void pop_tf(trapframe_t*); +void pop_tf(trapframe_t*) __attribute__((noreturn)); void dump_tf(trapframe_t*); void unhandled_trap(trapframe_t*); |