Browse Source

Non-leaf PTEs should not have N or PBMT bits set (#764)

pull/766/head
Daniel Lustig 5 years ago
committed by GitHub
parent
commit
a477155179
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      riscv/mmu.cc

4
riscv/mmu.cc

@ -332,7 +332,7 @@ reg_t mmu_t::s2xlate(reg_t gva, reg_t gpa, access_type type, access_type trap_ty
if (pte & PTE_RSVD) { if (pte & PTE_RSVD) {
break; break;
} else if (PTE_TABLE(pte)) { // next level of page table } else if (PTE_TABLE(pte)) { // next level of page table
if (pte & (PTE_D | PTE_A | PTE_U)) if (pte & (PTE_D | PTE_A | PTE_U | PTE_N | PTE_PBMT))
break; break;
base = ppn << PGSHIFT; base = ppn << PGSHIFT;
} else if (!(pte & PTE_V) || (!(pte & PTE_R) && (pte & PTE_W))) { } else if (!(pte & PTE_V) || (!(pte & PTE_R) && (pte & PTE_W))) {
@ -417,7 +417,7 @@ reg_t mmu_t::walk(reg_t addr, access_type type, reg_t mode, bool virt, bool hlvx
if (pte & PTE_RSVD) { if (pte & PTE_RSVD) {
break; break;
} else if (PTE_TABLE(pte)) { // next level of page table } else if (PTE_TABLE(pte)) { // next level of page table
if (pte & (PTE_D | PTE_A | PTE_U)) if (pte & (PTE_D | PTE_A | PTE_U | PTE_N | PTE_PBMT))
break; break;
base = ppn << PGSHIFT; base = ppn << PGSHIFT;
} else if ((pte & PTE_U) ? s_mode && (type == FETCH || !sum) : !s_mode) { } else if ((pte & PTE_U) ? s_mode && (type == FETCH || !sum) : !s_mode) {

Loading…
Cancel
Save