ref: update cached mmu state after regcpy (#160)

OpenXiangShan · Sep 6, 2023 · 518a917 · 518a917
1 parent 8329752
commit 518a917
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/isa/riscv64/difftest/ref.c b/src/isa/riscv64/difftest/ref.c
@@ -172,6 +172,9 @@ void isa_difftest_regcpy(void *dut, bool direction) {
   if (direction == DIFFTEST_TO_REF) {
     memcpy(&cpu, dut, DIFFTEST_REG_SIZE);
     csr_writeback();
+    // need to clear the cached mmu states as well
+    extern void update_mmu_state();
+    update_mmu_state();
   } else {
     csr_prepare();
     memcpy(dut, &cpu, DIFFTEST_REG_SIZE);