1 files changed, 2 insertions, 0 deletions
diff --git a/riscv/processor.h b/riscv/processor.h
index 914bd45..e37ff8b 100644
--- a/riscv/processor.h
+++ b/riscv/processor.h
@@ -298,6 +298,8 @@ public:
   void clear_waiting_for_interrupt() { in_wfi = false; };
   bool is_waiting_for_interrupt() { return in_wfi; };
 
+  void stash_privilege();
+
 private:
   const isa_parser_t * const isa;
   const cfg_t * const cfg;