diff options
author | Andrew Waterman <andrew@sifive.com> | 2021-07-22 15:37:50 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2021-07-22 15:37:50 -0700 |
commit | ec57c389f31fe433bee0e1888e2e158c6fa22a79 (patch) | |
tree | 2526d393abf2631d98a11fd7acea77a04d967d63 /riscv/mmu.cc | |
parent | a9c10bdaee4d88ca89d15565f08701ad0783c974 (diff) | |
download | spike-ec57c389f31fe433bee0e1888e2e158c6fa22a79.zip spike-ec57c389f31fe433bee0e1888e2e158c6fa22a79.tar.gz spike-ec57c389f31fe433bee0e1888e2e158c6fa22a79.tar.bz2 |
Non-leaf PTEs with D/A/U==1 are reserved
Continuation of 80be4e21c3af7fe2966788ce538d3e3c3b0d60e3
Diffstat (limited to 'riscv/mmu.cc')
-rw-r--r-- | riscv/mmu.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/riscv/mmu.cc b/riscv/mmu.cc index 1779acd..5b0c31b 100644 --- a/riscv/mmu.cc +++ b/riscv/mmu.cc @@ -332,6 +332,8 @@ reg_t mmu_t::s2xlate(reg_t gva, reg_t gpa, access_type type, access_type trap_ty if (pte & PTE_RSVD) { break; } else if (PTE_TABLE(pte)) { // next level of page table + if (pte & (PTE_D | PTE_A | PTE_U)) + break; base = ppn << PGSHIFT; } else if (!(pte & PTE_V) || (!(pte & PTE_R) && (pte & PTE_W))) { break; |