diff options
Diffstat (limited to 'model/riscv_pmp_control.sail')
| -rw-r--r-- | model/riscv_pmp_control.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_pmp_control.sail b/model/riscv_pmp_control.sail index 4f43a6c..1970afc 100644 --- a/model/riscv_pmp_control.sail +++ b/model/riscv_pmp_control.sail @@ -40,7 +40,7 @@ function pmpCheckRWX(ent, acc) = { val pmpCheckPerms: (Pmpcfg_ent, AccessType(ext_access_type), Privilege) -> bool function pmpCheckPerms(ent, acc, priv) = { match priv { - Machine => if ent.L() == 0b1 + Machine => if pmpLocked(ent) then pmpCheckRWX(ent, acc) else true, _ => pmpCheckRWX(ent, acc) |