udb 0.1.9 → 0.1.13

data/.data/spec/std/isa/csr/I/pmpcfg3.yaml

@@ -36,7 +36,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -94,7 +94,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -152,7 +152,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -210,7 +210,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 

data/.data/spec/std/isa/csr/I/pmpcfg4.yaml

@@ -35,7 +35,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -93,7 +93,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -151,7 +151,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -209,7 +209,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 
@@ -269,7 +269,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 39   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 38:37 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 38:37 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 36:35
       a! Address matching mode. One of:
 
@@ -329,7 +329,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 47   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 46:45 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 46:45 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 44:43
       a! Address matching mode. One of:
 
@@ -389,7 +389,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 55   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 54:53 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 54:53 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 52:51
       a! Address matching mode. One of:
 
@@ -449,7 +449,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 63   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 62:61 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 62:61 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 60:59
       a! Address matching mode. One of:
 

data/.data/spec/std/isa/csr/I/pmpcfg5.yaml

@@ -36,7 +36,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -94,7 +94,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -152,7 +152,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -210,7 +210,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 

data/.data/spec/std/isa/csr/I/pmpcfg6.yaml

@@ -35,7 +35,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -93,7 +93,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -151,7 +151,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -209,7 +209,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 
@@ -269,7 +269,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 39   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 38:37 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 38:37 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 36:35
       a! Address matching mode. One of:
 
@@ -329,7 +329,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 47   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 46:45 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 46:45 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 44:43
       a! Address matching mode. One of:
 
@@ -389,7 +389,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 55   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 54:53 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 54:53 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 52:51
       a! Address matching mode. One of:
 
@@ -449,7 +449,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 63   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 62:61 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 62:61 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 60:59
       a! Address matching mode. One of:
 

data/.data/spec/std/isa/csr/I/pmpcfg7.yaml

@@ -36,7 +36,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -94,7 +94,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -152,7 +152,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -210,7 +210,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 

data/.data/spec/std/isa/csr/I/pmpcfg8.yaml

@@ -35,7 +35,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -93,7 +93,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -151,7 +151,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -209,7 +209,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 
@@ -269,7 +269,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 39   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 38:37 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 38:37 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 36:35
       a! Address matching mode. One of:
 
@@ -329,7 +329,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 47   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 46:45 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 46:45 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 44:43
       a! Address matching mode. One of:
 
@@ -389,7 +389,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 55   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 54:53 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 54:53 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 52:51
       a! Address matching mode. One of:
 
@@ -449,7 +449,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 63   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 62:61 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 62:61 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 60:59
       a! Address matching mode. One of:
 

data/.data/spec/std/isa/csr/I/pmpcfg9.yaml

@@ -36,7 +36,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -94,7 +94,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -152,7 +152,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -210,7 +210,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 

data/.data/spec/std/isa/csr/I/pmpcfgN.layout

@@ -48,7 +48,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! <%= ((i+1)*8)-1 %>   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! <%= ((i+1)*8)-2 %>:<%= ((i+1)*8)-3 %> ! _Reserved_ Writes shall be ignored.
+      h! MT ! <%= ((i+1)*8)-2 %>:<%= ((i+1)*8)-3 %> ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! <%= ((i+1)*8)-4 %>:<%= ((i+1)*8)-5 %>
       a! Address matching mode. One of:
 

data/.data/spec/std/isa/csr/Zicntr/mcountinhibit.layout

@@ -44,8 +44,12 @@ description: |
   ====
 
 definedBy:
-  extension:
-    name: Sm
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: MCOUNTINHIBIT_IMPLEMENTED
+        equal: true
 fields:
   CY:
     location: 0

data/.data/spec/std/isa/csr/Zicntr/mcountinhibit.yaml

@@ -47,8 +47,12 @@ description: |
   ====
 
 definedBy:
-  extension:
-    name: Sm
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: MCOUNTINHIBIT_IMPLEMENTED
+        equal: true
 fields:
   CY:
     location: 0

data/.data/spec/std/isa/csr/hstatus.yaml

@@ -73,6 +73,22 @@ fields:
       } else {
         return csr_value.VSXL;
       }
+  HUKTE:
+    location: 24
+    long_name: Hypervisor UKTE
+    description: |
+      If the Svukte extension is implemented, the HUKTE field determines
+      whether the HLV, HLVX, and HSV instructions, when executed in U-mode,
+      are Svukte-qualified.
+      When one of these instructions is executed in U-mode, it behaves as though
+      `senvcfg`.UKTE were set to the value of HUKTE.
+      If Svukte is not implemented, HUKTE is read-only zero.
+
+    definedBy:
+      extension:
+        name: Svukte
+    type: RW
+    reset_value: UNDEFINED_LEGAL
   VTSR:
     location: 22
     long_name: Virtual Trap SRET

data/.data/spec/std/isa/csr/mcycleh.yaml

@@ -11,7 +11,7 @@ definedBy:
   allOf:
     - xlen: 32
     - extension:
-        name: Zicntr
+        name: Sm
 address: 0xB80
 writable: true
 description: |

data/.data/spec/std/isa/csr/misa.yaml

@@ -165,12 +165,6 @@ fields:
     definedBy:
       extension:
         name: M
-    cert_normative_rules:
-      - id: csr_field.misa.M.disabled
-        name: Disabling `misa.M` bit
-        description: What happens when you turn off `misa.M`
-        doc_links:
-          - manual:csr:misa:disabling-extension
   Q:
     location: 16
     description: |
@@ -251,9 +245,3 @@ sw_read(): |
     (CSR[misa].C `<< 2) |
     (CSR[misa].B `<< 1) |
     CSR[misa].A);
-cert_normative_rules:
-  - id: csr.misa.disabling_bits
-    name: Disabling `misa` bits
-    description: What happens when you turn off bits
-    doc_links:
-      - manual:csr:misa:disabling-extension

data/.data/spec/std/isa/csr/mstatus.yaml

@@ -72,6 +72,26 @@ fields:
             name: Smdbltrp
     type: RW-H
     reset_value: UNDEFINED_LEGAL
+  MPELP:
+    location: 41
+    long_name: M-mode Previous Expected Landing Pad state
+    description: |
+      Holds the previous Expected Landing Pad (`ELP`) state when entering
+      M-mode from a trap, and is restored to `ELP` on `MRET`.
+
+      Defined by the Zicfilp extension.
+
+      Encoded as:
+
+      * 0 - `NO_LP_EXPECTED` - no landing pad instruction expected.
+      * 1 - `LP_EXPECTED` - a landing pad instruction is expected.
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    definedBy:
+      allOf:
+        - xlen: 64
+        - extension:
+            name: Zicfilp
   MPV:
     location: 39
     long_name: Machine Previous Virtualization mode
@@ -245,6 +265,24 @@ fields:
         return 2;
       }
 
+  SPELP:
+    location: 23
+    long_name: S-mode Previous Expected Landing Pad state
+    description: |
+      Holds the previous Expected Landing Pad (`ELP`) state when entering
+      (H)S-mode from a trap, and is restored to `ELP` on `SRET`.
+
+      Defined by the Zicfilp extension.
+
+      Encoded as:
+
+      * 0 - `NO_LP_EXPECTED` - no landing pad instruction expected.
+      * 1 - `LP_EXPECTED` - a landing pad instruction is expected.
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    definedBy:
+      extension:
+        name: Zicfilp
   TSR:
     location: 22
     long_name: Trap SRET

data/.data/spec/std/isa/csr/mstatush.yaml

@@ -24,39 +24,40 @@ fields:
   MDT:
     location: 10
     description: |
-      *Machine Disable Trap*
-
-      Written to 1 when entering M-mode from an exception/interrupt.
-      When returning via an MRET instruction, the bit is written to 0.
-      On reset in set to 1, and software should write it to 0 when boot sequence is done.
-      When mstatush.MDT=1, direct write by CSR instruction cannot set mstatus.MIE to 1.
+      see `mstatus.MDT`
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    alias: mstatus.MDT
     definedBy:
       extension:
         name: Smdbltrp
+  MPELP:
+    location: 9
+    description: |
+      see `mstatus.MPELP`
     type: RW-H
     reset_value: UNDEFINED_LEGAL
+    alias: mstatus.MPELP
+    definedBy:
+      extension:
+        name: Zicfilp
   MPV:
     location: 7
     description: |
-      *Machine Previous Virtualization mode*
-
-      Written with the prior virtualization mode when entering M-mode from an exception/interrupt.
-      When returning via an MRET instruction, the virtualization mode becomes the value of MPV unless MPP=3, in which case the virtualization mode is always 0.
-      Can also be written by software.
+      see `mstatus.MPV`
     type: RW-H
     reset_value: UNDEFINED_LEGAL
+    alias: mstatus.MPV
     definedBy:
       extension:
         name: H
   GVA:
     location: 6
     description: |
-      *Guest Virtual Address*
-
-      When a trap is taken and a guest virtual address is written into mtval, GVA is set.
-      When a trap is taken and a guest virtual address is written into mtval, GVA is cleared.
+      see `mstatus.GVA`
     type: RW-H
     reset_value: 0
+    alias: mstatus.GVA
     definedBy:
       extension:
         name: H
@@ -86,3 +87,4 @@ fields:
       } else {
         return UNDEFINED_LEGAL;
       }
+    alias: mstatus.SBE

data/.data/spec/std/isa/csr/senvcfg.yaml

@@ -124,6 +124,22 @@ fields:
         return UNDEFINED_LEGAL_DETERMINISTIC;
       }
     reset_value: UNDEFINED_LEGAL
+  UKTE:
+    location: 8
+    description: |
+      If the Svukte extension is implemented, the UKTE field affects the behavior of
+      instruction fetches and explicit memory accesses.
+      When UKTE=0, instruction fetches and explicit memory accesses proceed as
+      though the Svukte extension were not implemented.
+      When UKTE=1, instruction fetches and explicit memory accesses with effective
+      privilege mode U or VU are Svukte-qualified, as described in <<sec:svukte>>.
+      If Svukte is not implemented, UKTE is read-only zero.
+
+    definedBy:
+      extension:
+        name: Svukte
+    type: RW
+    reset_value: UNDEFINED_LEGAL
   SSE:
     location: 3
     description: |

data/.data/spec/std/isa/csr/sstatus.yaml

@@ -44,6 +44,18 @@ fields:
 
     type: RO
     reset_value: 2
+  SPELP:
+    alias: mstatus.SPELP
+    location: 23
+    description: |
+      *Previous Expected Landing Pad state*
+
+      Alias of `mstatus.SPELP`.
+    type: RW-H
+    definedBy:
+      extension:
+        name: Zicfilp
+    reset_value: UNDEFINED_LEGAL
   MXR:
     alias: mstatus.MXR
     location: 19

data/.data/spec/std/isa/csr/vsstatus.yaml

@@ -60,6 +60,30 @@ fields:
       return ($array_size(VUXLEN) > 1) ? CsrFieldType::RW : CsrFieldType::RO;
     reset_value(): |
       return ($array_size(VUXLEN) > 1) ? UNDEFINED_LEGAL : VUXLEN[0];
+  SPELP:
+    location: 23
+    long_name: VS-mode Previous Expected Landing Pad state
+    description: |
+      Holds the previous Expected Landing Pad (`ELP`) state when entering
+      VS-mode from a trap, and is restored to `ELP` on `SRET` from VS-mode.
+
+      Defined by the Zicfilp extension.
+
+      Per the privileged architecture, accesses to `sstatus.SPELP` resolve to
+      `mstatus.SPELP` when V=0, and to `vsstatus.SPELP` when V=1; the V=1
+      routing is handled by the H-extension CSR address remap (`virtual_address`
+      on this CSR), so this field is independent state — not an alias of
+      `mstatus.SPELP`.
+
+      Encoded as:
+
+      * 0 - `NO_LP_EXPECTED` - no landing pad instruction expected.
+      * 1 - `LP_EXPECTED` - a landing pad instruction is expected.
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    definedBy:
+      extension:
+        name: Zicfilp
   MXR:
     alias: mstatus.MXR
     location: 19