diff options
-rw-r--r-- | riscv/mmu.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/riscv/mmu.cc b/riscv/mmu.cc index 3868c70..d0a55f0 100644 --- a/riscv/mmu.cc +++ b/riscv/mmu.cc @@ -302,6 +302,8 @@ reg_t mmu_t::s2xlate(reg_t gva, reg_t gpa, access_type type, access_type trap_ty break; } else if (!pbmte && (pte & PTE_PBMT)) { break; + } else if ((pte & PTE_PBMT) == PTE_PBMT) { + break; } else if (PTE_TABLE(pte)) { // next level of page table if (pte & (PTE_D | PTE_A | PTE_U | PTE_N | PTE_PBMT)) break; @@ -393,6 +395,8 @@ reg_t mmu_t::walk(reg_t addr, access_type type, reg_t mode, bool virt, bool hlvx break; } else if (!pbmte && (pte & PTE_PBMT)) { break; + } else if ((pte & PTE_PBMT) == PTE_PBMT) { + break; } else if (PTE_TABLE(pte)) { // next level of page table if (pte & (PTE_D | PTE_A | PTE_U | PTE_N | PTE_PBMT)) break; |