diff options
| -rw-r--r-- | riscv/riscv_vmem.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/riscv_vmem.sail b/riscv/riscv_vmem.sail index cc365769..26282d3e 100644 --- a/riscv/riscv_vmem.sail +++ b/riscv/riscv_vmem.sail @@ -255,7 +255,7 @@ union TR39_Result = { TR39_Failure : PTW_Error } -let enable_dirty_update = true +let enable_dirty_update = false val translate39 : (vaddr39, AccessType, Privilege, bool, bool, nat) -> TR39_Result effect {rreg, wreg, wmv, escape, rmem} function translate39(vAddr, ac, priv, mxr, sum, level) = { |