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 | riscv-pk-ad7a60abeac14c47cfd8d96b6ca2cd07adb833ca.zip riscv-pk-ad7a60abeac14c47cfd8d96b6ca2cd07adb833ca.tar.gz riscv-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(); |