udb 0.1.16 → 0.1.17

data/.data/spec/std/isa/param/MSTATUS_VS_LEGAL_VALUES.yaml

@@ -7,34 +7,26 @@ $schema: param_schema.json#
 kind: parameter
 name: MSTATUS_VS_LEGAL_VALUES
 description: The set of values that mstatus.VS will accept from a software write.
-long_name: TODO
+long_name: mstatus.VS legal values
 schema:
   type: array
   items:
     type: integer
     enum:
-      - 0
-      - 1
-      - 2
-      - 3
+      - 0 # Off
+      - 1 # Initial
+      - 2 # Clean
+      - 3 # Dirty
   minItems: 1
   maxItems: 4
   uniqueItems: true
 requirements:
   idl(): |
-    # [RULE] If the v registers are implemented, the VS field shall not be read-only zero.
-    implemented?(ExtensionName::V)
-      -> $array_size(MSTATUS_VS_LEGAL_VALUES) > 1;
-
     # [RULE] If there is a hardware update to mstatus.VS, then the Dirty state must be supported
-    implemented?(ExtensionName::V) &&
-    (HW_MSTATUS_VS_DIRTY_UPDATE == "precise" || HW_MSTATUS_VS_DIRTY_UPDATE == "imprecise")
-      -> $array_includes?(MSTATUS_VS_LEGAL_VALUES, 0) &&
-         $array_includes?(MSTATUS_VS_LEGAL_VALUES, 3);
+    implemented?(ExtensionName::V)
+      -> $array_includes?(MSTATUS_VS_LEGAL_VALUES, 3);
 
   reason: |
-    If V is supported, both Off (0) and Dirty (3) must be supported
-
     If there is a hardware update to mstatus.VS, then the Dirty state must be supported
 definedBy:
   extension:

data/.data/spec/std/isa/param/MTI_INTR_IMPL.yaml

@@ -0,0 +1,28 @@
+# Copyright (c) David_Harris@hmc.edu 13 July 2026
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: MTI_INTR_IMPL
+description: |
+  Whether or not machine-level timer interrupts are implemented.
+
+  Possible values:
+
+  true::
+    Machine-level timer interrupts are implemented.
+    `mie.MTIE`, `mideleg.MTI`, and `mtimecmp` are writable.
+
+  false::
+    Machine-level timer interrupts are not implemented.
+    `mie.MTIE` and `mideleg.MTI` are read-only zero. `mtimecmp` is optional and may be read-only zero.
+long_name: Machine-level timer interrupts are implemented
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Zicsr
+      - name: Sm

data/.data/spec/std/isa/param/MTVAL_WIDTH.yaml

@@ -29,7 +29,7 @@ requirements:
 
     # in RV32, MTVAL must be able to hold a physical address if M-mode takes an exception
     # that reports an address
-    # Since phyiscal address width can be larger than 32 with Sv32, need to downsize MTVAL in that case
+    # Since physical address width can be larger than 32 with Sv32, need to downsize MTVAL in that case
     (
       MXLEN == 32 &&
       PHYS_ADDR_WIDTH > 32 &&
@@ -42,11 +42,15 @@ requirements:
           REPORT_VA_IN_MTVAL_ON_INSTRUCTION_MISALIGNED ||
           REPORT_VA_IN_MTVAL_ON_LOAD_ACCESS_FAULT ||
           REPORT_VA_IN_MTVAL_ON_STORE_AMO_ACCESS_FAULT ||
-          REPORT_VA_IN_MTVAL_ON_INSTRUCTION_ACCESS_FAULT
+          REPORT_VA_IN_MTVAL_ON_INSTRUCTION_ACCESS_FAULT ||
+          REPORT_VA_IN_MTVAL_ON_LOAD_PAGE_FAULT ||
+          REPORT_VA_IN_MTVAL_ON_STORE_AMO_PAGE_FAULT ||
+          REPORT_VA_IN_MTVAL_ON_INSTRUCTION_PAGE_FAULT
         )
     ) -> (MTVAL_WIDTH == 32);
 
-    # TODO: uncomment when we have support for parameter comparison to other parameters
+    # TODO: uncomment when we have support for parameter/function comparison
+    #       on the RHS of a constraint.
     # (
     #   (
     #     MXLEN == 64 ||
@@ -64,10 +68,15 @@ requirements:
     #       REPORT_VA_IN_MTVAL_ON_INSTRUCTION_MISALIGNED ||
     #       REPORT_VA_IN_MTVAL_ON_LOAD_ACCESS_FAULT ||
     #       REPORT_VA_IN_MTVAL_ON_STORE_AMO_ACCESS_FAULT ||
-    #       REPORT_VA_IN_MTVAL_ON_INSTRUCTION_ACCESS_FAULT
+    #       REPORT_VA_IN_MTVAL_ON_INSTRUCTION_ACCESS_FAULT ||
+    #       REPORT_VA_IN_MTVAL_ON_LOAD_PAGE_FAULT ||
+    #       REPORT_VA_IN_MTVAL_ON_STORE_AMO_PAGE_FAULT ||
+    #       REPORT_VA_IN_MTVAL_ON_INSTRUCTION_PAGE_FAULT
     #     )
     # ) -> (MTVAL_WIDTH >= PHYS_ADDR_WIDTH);
 
+    # TODO: uncomment when we have support for parameter/function comparison
+    #       on the RHS of a constraint.
     # (
     #   implemented?(ExtensionName::S) &&
     #   (
@@ -79,7 +88,10 @@ requirements:
     #     REPORT_VA_IN_MTVAL_ON_INSTRUCTION_MISALIGNED ||
     #     REPORT_VA_IN_MTVAL_ON_LOAD_ACCESS_FAULT ||
     #     REPORT_VA_IN_MTVAL_ON_STORE_AMO_ACCESS_FAULT ||
-    #     REPORT_VA_IN_MTVAL_ON_INSTRUCTION_ACCESS_FAULT
+    #     REPORT_VA_IN_MTVAL_ON_INSTRUCTION_ACCESS_FAULT ||
+    #     REPORT_VA_IN_MTVAL_ON_LOAD_PAGE_FAULT ||
+    #     REPORT_VA_IN_MTVAL_ON_STORE_AMO_PAGE_FAULT ||
+    #     REPORT_VA_IN_MTVAL_ON_INSTRUCTION_PAGE_FAULT
     #   )
     # ) -> (MTVAL_WIDTH >= max_va_size());
 

data/.data/spec/std/isa/param/MUTABLE_MISA_A.yaml

@@ -9,7 +9,7 @@ name: MUTABLE_MISA_A
 description: |
   When the `A` extensions is supported, indicates whether or not
   the extension can be disabled in the `misa.A` bit.
-long_name: TODO
+long_name: "`misa.A` mutability"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/MUTABLE_MISA_B.yaml

@@ -8,7 +8,7 @@ kind: parameter
 name: MUTABLE_MISA_B
 description: Indicates whether or not the `B` extension can be disabled with the
   `misa.B` bit.
-long_name: TODO
+long_name: "`misa.B` mutability"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/MUTABLE_MISA_C.yaml

@@ -11,7 +11,7 @@ description:
   `misa.C` bit.
 
   "
-long_name: TODO
+long_name: "`misa.C` mutability"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/MUTABLE_MISA_D.yaml

@@ -11,7 +11,7 @@ description:
   `misa.D` bit.
 
   "
-long_name: TODO
+long_name: "`misa.D` mutability"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/MUTABLE_MISA_F.yaml

@@ -11,7 +11,7 @@ description:
   `misa.F` bit.
 
   "
-long_name: TODO
+long_name: "`misa.F` mutability"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/MUTABLE_MISA_M.yaml

@@ -11,7 +11,7 @@ description:
   `misa.M` bit.
 
   "
-long_name: TODO
+long_name: "`misa.M` mutability"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/MUTABLE_MISA_Q.yaml

@@ -11,7 +11,7 @@ description:
   `misa.Q` bit.
 
   "
-long_name: TODO
+long_name: "`misa.Q` mutability"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/MUTABLE_MISA_U.yaml

@@ -11,7 +11,7 @@ description:
   `misa.U` bit.
 
   "
-long_name: TODO
+long_name: "`misa.U` mutability"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/MUTABLE_MISA_V.yaml

@@ -7,7 +7,7 @@ $schema: param_schema.json#
 kind: parameter
 name: MUTABLE_MISA_V
 description: Indicates whether or not the `V` extension can be disabled with the `misa.V` bit.
-long_name: TODO
+long_name: "`misa.V` mutability"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/{PMLEN.yaml → NON_STANDARD_EXTENSION_IMPLEMENTED.yaml}

@@ -5,16 +5,13 @@
 
 $schema: param_schema.json#
 kind: parameter
-name: PMLEN
+name: NON_STANDARD_EXTENSION_IMPLEMENTED
 description: |
-  The number of high-order bits of an address that are masked by the
-  pointer masking facility.
-long_name: TODO
+  If any non-standard extensions are implemented, this parameter must be true.
+  This parameter is used as the reset value for `misa.X`.
+long_name: Non-standard extensions implemented
 schema:
-  type: integer
+  type: boolean
 definedBy:
   extension:
-    anyOf:
-      - name: Smmpm
-      - name: Smnpm
-      - name: Ssnpm
+    name: Sm

data/.data/spec/std/isa/param/NUM_EXTERNAL_GUEST_INTERRUPTS.yaml

@@ -13,7 +13,7 @@ description: |
 long_name: TODO
 schema:
   type: integer
-  minimum: 1
+  minimum: 0
   maximum: 63
 definedBy:
   extension:

data/.data/spec/std/isa/param/NUM_PMP_ENTRIES.yaml

@@ -22,7 +22,7 @@ description: |
   An implemented entry may still be read-only zero (but will never cause an exception).
   The number of entries that are actually usable is given by
   NUM_USABLE_PMP_ENTRIES.
-long_name: TODO
+long_name: number of implemented PMP entries
 schema:
   type: integer
   enum: [0, 16, 64]

data/.data/spec/std/isa/param/REPORT_CAUSE_IN_MTVAL_ON_LANDING_PAD_SOFTWARE_CHECK.yaml

@@ -7,7 +7,7 @@ $schema: param_schema.json#
 kind: parameter
 name: REPORT_CAUSE_IN_MTVAL_ON_LANDING_PAD_SOFTWARE_CHECK
 description: |
-  When true, `mtval` is written with the shadow stack cause (code=18) when a SoftwareCheck exception is raised into M-mode due to a landing pad error.
+  When true, `mtval` is written with the landing pad fault cause (code=2) when a SoftwareCheck exception is raised into M-mode due to a landing pad error.
 
   When false, `mtval` is written with 0.
 long_name: TODO

data/.data/spec/std/isa/param/REPORT_CAUSE_IN_STVAL_ON_LANDING_PAD_SOFTWARE_CHECK.yaml

@@ -7,7 +7,7 @@ $schema: param_schema.json#
 kind: parameter
 name: REPORT_CAUSE_IN_STVAL_ON_LANDING_PAD_SOFTWARE_CHECK
 description: |
-  When true, `stval` is written with the shadow stack cause (code=18) when a SoftwareCheck exception is raised into S-mode due to a landing pad error.
+  When true, `stval` is written with the landing pad fault cause (code=2) when a SoftwareCheck exception is raised into S-mode due to a landing pad error.
 
   When false, `stval` is written with 0.
 long_name: TODO

data/.data/spec/std/isa/param/REPORT_CAUSE_IN_VSTVAL_ON_LANDING_PAD_SOFTWARE_CHECK.yaml

@@ -7,7 +7,7 @@ $schema: param_schema.json#
 kind: parameter
 name: REPORT_CAUSE_IN_VSTVAL_ON_LANDING_PAD_SOFTWARE_CHECK
 description: |
-  When true, `vstval` is written with the shadow stack cause (code=18) when a SoftwareCheck exception is raised into VS-mode due to a landing pad error.
+  When true, `vstval` is written with the landing pad fault cause (code=2) when a SoftwareCheck exception is raised into VS-mode due to a landing pad error.
 
   When false, `vstval` is written with 0.
 long_name: TODO

data/.data/spec/std/isa/param/SCOUNTENABLE_EN.yaml

@@ -9,9 +9,8 @@ name: SCOUNTENABLE_EN
 description: |
   Indicates which counters can delegated via `scounteren`
 
-  An unimplemented counter cannot be specified, i.e., if
-  HPM_COUNTER_EN[3] is false, it would be illegal to set
-  SCOUNTENABLE_EN[3] to true.
+  `SCOUNTENABLE_EN[n]` controls whether `scounteren.HPM<n>` is writable. It does not
+  depend on whether `hpmcounter<n>`/`mhpmcounter<n>` is read-only zero.
 
   SCOUNTENABLE_EN[0:2] must all be false if `Zicntr` is not implemented.
   SCOUNTENABLE_EN[3:31] must all be false if `Zihpm` is not implemented.
@@ -29,14 +28,11 @@ requirements:
     }
     for (U32 i = 3; i < 32; i++) {
       !implemented?(ExtensionName::Zihpm) -> !SCOUNTENABLE_EN[i];
-      (!HPM_COUNTER_EN[i]) -> !SCOUNTENABLE_EN[i];
     }
   reason: |
     Counters 0-2 are defined by Zicntr
 
     Counters 3..31 are defined by Zihpm
-
-    When mhpmcounter[i] does not exist, it cannot be enabled.
 definedBy:
   extension:
     name: S

data/.data/spec/std/isa/param/SCTRDEPTH_DEPTH_LEGAL_VALUES.yaml

@@ -0,0 +1,27 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SCTRDEPTH_DEPTH_LEGAL_VALUES
+description: |
+  The set of supported actual depths for the Control Transfer Records (CTR) buffer.
+long_name: Supported CTR buffer depths
+schema:
+  type: array
+  items:
+    type: integer
+    enum:
+      - 16
+      - 32
+      - 64
+      - 128
+      - 256
+  maxItems: 5
+  minItems: 1
+  uniqueItems: true
+definedBy:
+  extension:
+    name: Smctr

data/.data/spec/std/isa/param/SEI_INTR_IMPL.yaml

@@ -0,0 +1,28 @@
+# Copyright (c) David_Harris@hmc.edu 13 July 2026
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SEI_INTR_IMPL
+description: |
+  Whether or not supervisor-level external interrupts are implemented.
+
+  Possible values:
+
+  true::
+    Supervisor-level external interrupts are implemented.
+    `mie.SEIE` and `mideleg.SEI` are writable.
+
+  false::
+    Supervisor-level external interrupts are not implemented.
+    `mie.SEIE`, `mip.SEIP`, and `mideleg.SEI` are read-only zero.
+long_name: Supervisor-level external interrupts are implemented
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Zicsr
+      - name: S

data/.data/spec/std/isa/param/SSI_INTR_IMPL.yaml

@@ -0,0 +1,28 @@
+# Copyright (c) David_Harris@hmc.edu 13 July 2026
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SSI_INTR_IMPL
+description: |
+  Whether or not supervisor-level software interrupts are implemented.
+
+  Possible values:
+
+  true::
+    Supervisor-level software interrupts are implemented.
+    `mie.SSIE` and `mideleg.SSI` are writable.
+
+  false::
+    Supervisor-level software interrupts are not implemented.
+    `mie.SSIE`, `mip.SSIP`, and `mideleg.SSI` are read-only zero.
+long_name: Supervisor-level software interrupts are implemented
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Zicsr
+      - name: S

data/.data/spec/std/isa/param/STI_INTR_IMPL.yaml

@@ -0,0 +1,33 @@
+# Copyright (c) David_Harris@hmc.edu 13 July 2026
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: STI_INTR_IMPL
+description: |
+  Whether or not supervisor-level timer interrupts are implemented.
+  If Sstc is implemented, then STI_INTR_IMPL must be true.
+
+  Possible values:
+
+  true::
+    Supervisor-level timer interrupts are implemented.
+    `mie.STIE` and `mideleg.STI` are writable.
+
+  false::
+    Supervisor-level timer interrupts are not implemented.
+    `mie.STIE`, `mip.STIP`, and `mideleg.STI` are read-only zero.
+long_name: Supervisor-level timer interrupts are implemented
+schema:
+  type: boolean
+requirements:
+  idl(): |
+    implemented?(ExtensionName::Sstc) -> STI_INTR_IMPL;
+  reason: "When the Sstc extension is implemented, STIP reflects the timer interrupt signal resulting from `stimecmp`."
+definedBy:
+  extension:
+    allOf:
+      - name: Zicsr
+      - name: S

data/.data/spec/std/isa/param/STVAL_WIDTH.yaml

@@ -18,3 +18,84 @@ schema:
 definedBy:
   extension:
     name: S
+requirements:
+  idl(): |
+    ($array_size(SXLEN) == 1 && SXLEN[0] == 32) -> STVAL_WIDTH <= 32;
+
+    # in RV32, STVAL must be able to hold a physical address if S-mode takes an exception
+    # that reports an address
+    # Since physical address width can be larger than 32 with Sv32, need to downsize STVAL in that case
+    (
+      ($array_size(SXLEN) == 1 && SXLEN[0] == 32) &&
+      PHYS_ADDR_WIDTH > 32 &&
+        (
+          implemented?(ExtensionName::Sdext) ||
+          implemented?(ExtensionName::Sstvala) ||
+          REPORT_VA_IN_STVAL_ON_BREAKPOINT ||
+          REPORT_ENCODING_IN_STVAL_ON_ILLEGAL_INSTRUCTION ||
+          REPORT_VA_IN_STVAL_ON_LOAD_MISALIGNED ||
+          REPORT_VA_IN_STVAL_ON_STORE_AMO_MISALIGNED ||
+          REPORT_VA_IN_STVAL_ON_INSTRUCTION_MISALIGNED ||
+          REPORT_VA_IN_STVAL_ON_LOAD_ACCESS_FAULT ||
+          REPORT_VA_IN_STVAL_ON_STORE_AMO_ACCESS_FAULT ||
+          REPORT_VA_IN_STVAL_ON_INSTRUCTION_ACCESS_FAULT ||
+          REPORT_VA_IN_STVAL_ON_LOAD_PAGE_FAULT ||
+          REPORT_VA_IN_STVAL_ON_STORE_AMO_PAGE_FAULT ||
+          REPORT_VA_IN_STVAL_ON_INSTRUCTION_PAGE_FAULT
+        )
+    ) -> (STVAL_WIDTH == 32);
+
+    # TODO: uncomment when we have support for parameter/function comparison
+    #       on the RHS of a constraint.
+    # (
+    #   (
+    #     $array_includes?(SXLEN, 64) ||
+    #     (
+    #       ($array_size(SXLEN) == 1 && SXLEN[0] == 32) &&
+    #       PHYS_ADDR_WIDTH <= 32
+    #     )
+    #   ) &&
+    #     (
+    #       implemented?(ExtensionName::Sdext) ||
+    #       implemented?(ExtensionName::Sstvala) ||
+    #       REPORT_VA_IN_STVAL_ON_BREAKPOINT ||
+    #       REPORT_ENCODING_IN_STVAL_ON_ILLEGAL_INSTRUCTION ||
+    #       REPORT_VA_IN_STVAL_ON_LOAD_MISALIGNED ||
+    #       REPORT_VA_IN_STVAL_ON_STORE_AMO_MISALIGNED ||
+    #       REPORT_VA_IN_STVAL_ON_INSTRUCTION_MISALIGNED ||
+    #       REPORT_VA_IN_STVAL_ON_LOAD_ACCESS_FAULT ||
+    #       REPORT_VA_IN_STVAL_ON_STORE_AMO_ACCESS_FAULT ||
+    #       REPORT_VA_IN_STVAL_ON_INSTRUCTION_ACCESS_FAULT ||
+    #       REPORT_VA_IN_STVAL_ON_LOAD_PAGE_FAULT ||
+    #       REPORT_VA_IN_STVAL_ON_STORE_AMO_PAGE_FAULT ||
+    #       REPORT_VA_IN_STVAL_ON_INSTRUCTION_PAGE_FAULT
+    #     )
+    # ) -> (STVAL_WIDTH >= PHYS_ADDR_WIDTH);
+
+    # TODO: uncomment when we have support for parameter/function comparison
+    #       on the RHS of a constraint.
+    # (
+    #   implemented?(ExtensionName::S) &&
+    #   (
+    #     implemented?(ExtensionName::Sdext) ||
+    #     implemented?(ExtensionName::Sstvala) ||
+    #     REPORT_VA_IN_STVAL_ON_BREAKPOINT ||
+    #     REPORT_ENCODING_IN_STVAL_ON_ILLEGAL_INSTRUCTION ||
+    #     REPORT_VA_IN_STVAL_ON_LOAD_MISALIGNED ||
+    #     REPORT_VA_IN_STVAL_ON_STORE_AMO_MISALIGNED ||
+    #     REPORT_VA_IN_STVAL_ON_INSTRUCTION_MISALIGNED ||
+    #     REPORT_VA_IN_STVAL_ON_LOAD_ACCESS_FAULT ||
+    #     REPORT_VA_IN_STVAL_ON_STORE_AMO_ACCESS_FAULT ||
+    #     REPORT_VA_IN_STVAL_ON_INSTRUCTION_ACCESS_FAULT ||
+    #     REPORT_VA_IN_STVAL_ON_LOAD_PAGE_FAULT ||
+    #     REPORT_VA_IN_STVAL_ON_STORE_AMO_PAGE_FAULT ||
+    #     REPORT_VA_IN_STVAL_ON_INSTRUCTION_PAGE_FAULT
+    #   )
+    # ) -> (STVAL_WIDTH >= max_va_size());
+
+    (
+      implemented?(ExtensionName::Sstvala) ||
+      REPORT_ENCODING_IN_STVAL_ON_ILLEGAL_INSTRUCTION
+    ) -> (STVAL_WIDTH >= INSTR_ENC_SIZE);
+  reason: |
+    `stval` must be able to hold physical and/or virtual addresses

data/.data/spec/std/isa/param/SUPPORTED_PMLEN_SMMPM.yaml

@@ -0,0 +1,40 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SUPPORTED_PMLEN_SMMPM
+description: |
+  The `PMLEN` values supported by the `Smmpm` pointer masking facility
+  for M-mode, selected via the `PMM` field in `mseccfg`. `PMLEN` is the
+  number of high-order bits of an address that are masked.
+
+  Options:
+
+    0::
+      PMLEN=0 (pointer masking is disabled)
+    7::
+      PMLEN=XLEN-57 (i.e., PMLEN=7 on RV64)
+    16::
+      PMLEN=XLEN-48 (i.e., PMLEN=16 on RV64)
+
+  The current standard only supports these values (`zpm.adoc`, tag
+  `norm:pmlen_supported_values`). `PMM`=00 (pointer masking disabled,
+  PMLEN=0) is mandatory and always available, so it is mandatory
+  here.
+long_name: Pointer mask length for M mode
+schema:
+  type: array
+  items:
+    type: integer
+    enum: [0, 7, 16]
+  contains:
+    const: 0
+  minItems: 1
+  maxItems: 3
+  uniqueItems: true
+definedBy:
+  extension:
+    name: Smmpm

data/.data/spec/std/isa/param/SUPPORTED_PMLEN_SMNPM.yaml

@@ -0,0 +1,42 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SUPPORTED_PMLEN_SMNPM
+description: |
+  The `PMLEN` values supported by the `Smnpm` pointer masking facility
+  for the next privilege mode below M-mode (S/HS if S-mode is
+  implemented, or U-mode otherwise), selected via the `PMM` field in
+  `menvcfg`. `PMLEN` is the number of high-order bits of an address
+  that are masked.
+
+  Options:
+
+    0::
+      PMLEN=0 (pointer masking is disabled)
+    7::
+      PMLEN=XLEN-57 (i.e., PMLEN=7 on RV64)
+    16::
+      PMLEN=XLEN-48 (i.e., PMLEN=16 on RV64)
+
+  The current standard only supports these values (`zpm.adoc`, tag
+  `norm:pmlen_supported_values`). `PMM`=00 (pointer masking disabled,
+  PMLEN=0) is mandatory and always available, so it is mandatory
+  here.
+long_name: Pointer mask length for next mode below M mode
+schema:
+  type: array
+  items:
+    type: integer
+    enum: [0, 7, 16]
+  contains:
+    const: 0
+  minItems: 1
+  maxItems: 3
+  uniqueItems: true
+definedBy:
+  extension:
+    name: Smnpm

data/.data/spec/std/isa/param/SUPPORTED_PMLEN_SSNPM.yaml

@@ -0,0 +1,42 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SUPPORTED_PMLEN_SSNPM
+description: |
+  The `PMLEN` values supported by the `Ssnpm` pointer masking facility
+  for the next privilege mode below S-mode (U-mode, and VS-/VU-modes if
+  the H extension is present), selected via the `PMM` field in
+  `senvcfg`. `PMLEN` is the number of high-order bits of an address
+  that are masked.
+
+  Options:
+
+    0::
+      PMLEN=0 (pointer masking is disabled)
+    7::
+      PMLEN=XLEN-57 (i.e., PMLEN=7 on RV64)
+    16::
+      PMLEN=XLEN-48 (i.e., PMLEN=16 on RV64)
+
+  The current standard only supports these values (`zpm.adoc`, tag
+  `norm:pmlen_supported_values`). `PMM`=00 (pointer masking disabled,
+  PMLEN=0) is mandatory and always available, so it is mandatory
+  here.
+long_name: Pointer mask length for next mode below S-mode
+schema:
+  type: array
+  items:
+    type: integer
+    enum: [0, 7, 16]
+  contains:
+    const: 0
+  minItems: 1
+  maxItems: 3
+  uniqueItems: true
+definedBy:
+  extension:
+    name: Ssnpm

data/.data/spec/std/isa/param/TRAP_ON_ECALL_FROM_S.yaml

@@ -11,7 +11,7 @@ description: |
 
   The spec states that implementations may handle ECALLs transparently
   without raising a trap, in which case the EEI must provide a builtin.
-long_name: TODO
+long_name: "Trap on ECALL from S-mode"
 schema:
   type: boolean
   default: true

data/.data/spec/std/isa/param/TRAP_ON_ECALL_FROM_U.yaml

@@ -11,7 +11,7 @@ description: |
 
   The spec states that implementations may handle ECALLs transparently
   without raising a trap, in which case the EEI must provide a builtin.
-long_name: TODO
+long_name: "Trap on ECALL from U-mode"
 schema:
   type: boolean
   default: true