diff options
Diffstat (limited to 'model/riscv_vmem_pte.sail')
| -rw-r--r-- | model/riscv_vmem_pte.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_vmem_pte.sail b/model/riscv_vmem_pte.sail index dfe032c..07a94a3 100644 --- a/model/riscv_vmem_pte.sail +++ b/model/riscv_vmem_pte.sail @@ -128,7 +128,7 @@ function update_PTE_Bits(sv_params : SV_Params, let pte_flags = [pte_flags with A = 0b1, D = (if update_d then 0b1 else pte_flags[D])]; - Some(pte[63 .. 8] @ pte_flags.bits()) + Some(pte[63 .. 8] @ pte_flags.bits) } else None() |