diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-02-05 18:14:42 -0800 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-02-19 13:01:11 -0800 |
commit | ad7a60abeac14c47cfd8d96b6ca2cd07adb833ca (patch) | |
tree | 2cf73a67263ca320590b17db182aa4c887dd22c2 /pk/pk.h | |
parent | 1d78c4a12e30ca6d51d6863e96661f80534cac74 (diff) | |
download | pk-ad7a60abeac14c47cfd8d96b6ca2cd07adb833ca.zip pk-ad7a60abeac14c47cfd8d96b6ca2cd07adb833ca.tar.gz pk-ad7a60abeac14c47cfd8d96b6ca2cd07adb833ca.tar.bz2 |
WIP on priv spec v1.9
Diffstat (limited to 'pk/pk.h')
-rw-r--r-- | pk/pk.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -67,6 +67,7 @@ void handle_misaligned_load(trapframe_t*); void handle_misaligned_store(trapframe_t*); void handle_fault_load(trapframe_t*); void handle_fault_store(trapframe_t*); +void prepare_supervisor_mode(); void boot_loader(struct mainvars*); void run_loaded_program(struct mainvars*); void boot_other_hart(); |