diff options
Diffstat (limited to 'model/riscv_vmem_sv32.sail')
| -rw-r--r-- | model/riscv_vmem_sv32.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_vmem_sv32.sail b/model/riscv_vmem_sv32.sail index 49d7ec1..23404e3 100644 --- a/model/riscv_vmem_sv32.sail +++ b/model/riscv_vmem_sv32.sail @@ -25,7 +25,7 @@ function walk32(vaddr, ac, priv, mxr, do_sum, ptb, level, global) = { let pte = Mk_SV32_PTE(v); let pbits = pte.BITS(); let pattr = Mk_PTE_Bits(pbits); - let is_global = global | (pattr.G() == true); + let is_global = global | (pattr.G() == 0b1); /* print("walk32(vaddr=" ^ BitStr(vaddr) ^ " level=" ^ string_of_int(level) ^ " pt_base=" ^ BitStr(to_phys_addr(ptb)) ^ " pt_ofs=" ^ BitStr(to_phys_addr(pt_ofs)) |