aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_vmem_common.sail
diff options
context:
space:
mode:
Diffstat (limited to 'model/riscv_vmem_common.sail')
-rw-r--r--model/riscv_vmem_common.sail2
1 files changed, 2 insertions, 0 deletions
diff --git a/model/riscv_vmem_common.sail b/model/riscv_vmem_common.sail
index f77366b..1a82d4c 100644
--- a/model/riscv_vmem_common.sail
+++ b/model/riscv_vmem_common.sail
@@ -106,6 +106,7 @@ bitfield SV39_Paddr : paddr64 = {
}
bitfield SV39_PTE : pte64 = {
+ Ext : 63 .. 54,
PPNi : 53 .. 10,
RSW : 9 .. 8,
BITS : 7 .. 0
@@ -132,6 +133,7 @@ bitfield SV48_Paddr : paddr64 = {
}
bitfield SV48_PTE : pte48 = {
+ Ext : 63 .. 54,
PPNi : 53 .. 10,
RSW : 9 .. 8,
BITS : 7 .. 0