Don't flush TLB on PTBR writes (only FATC)

diff --git a/riscv/mmu.h b/riscv/mmu.h
index a754b607c9a49890b189fb3b55ed93868aabf6fe..bb35f7004b901167f173be1a406f3954fa7636db 100644 (file)
--- a/riscv/mmu.h
+++ b/riscv/mmu.h
@@ -113,7 +113,7 @@ public:
 
   reg_t get_badvaddr() { return badvaddr; }
   reg_t get_ptbr() { return ptbr; }
-  void set_ptbr(reg_t addr) { ptbr = addr & ~(PGSIZE-1); flush_tlb(); }
+  void set_ptbr(reg_t addr) { ptbr = addr & ~(PGSIZE-1); }
   void set_processor(processor_t* p) { proc = p; flush_tlb(); }
 
   void flush_tlb();