udb 0.1.16 → 0.1.18

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

@@ -0,0 +1,177 @@
+# 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: MIDELEG_DELEGATABLE
+description: |
+  Indicates which interrupts can be delegated via `mideleg`.
+
+  Entry _i_ corresponds to `mideleg` bit _i_, which uses the same bit layout as `mip`.
+  When an entry is true, the corresponding interrupt can be delegated: the `mideleg` bit is writable,
+  except for bits that are always delegated, which are read-only one.
+  When an entry is false, the corresponding `mideleg` bit is read-only zero.
+
+  An unimplemented interrupt cannot be delegated, i.e., if `STI_INTR_IMPL` is false,
+  `MIDELEG_DELEGATABLE[5]` must be false.
+
+  When the H extension is implemented, VSSI, VSTI, and VSEI are always delegated to HS-mode,
+  so `MIDELEG_DELEGATABLE[2]`, `[6]`, and `[10]` must be true.
+  SGEI is also always delegated when any guest external interrupts are implemented
+  (`NUM_EXTERNAL_GUEST_INTERRUPTS` is nonzero), so `MIDELEG_DELEGATABLE[12]` must then be true;
+  otherwise it must be false.
+  When H is not implemented, all four must be false.
+long_name: Interrupts that can be delegated through mideleg
+schema:
+  type: array
+  items:
+    type: boolean
+  maxItems: 64
+  minItems: 64
+definedBy:
+  extension:
+    name: S
+requirements:
+  allOf:
+    # Reserved interrupt codes (0, 4, 8, 14, 15) cannot be delegated
+    - param:
+        allOf:
+          - name: MIDELEG_DELEGATABLE
+            index: 0
+            equal: false
+          - name: MIDELEG_DELEGATABLE
+            index: 4
+            equal: false
+          - name: MIDELEG_DELEGATABLE
+            index: 8
+            equal: false
+          - name: MIDELEG_DELEGATABLE
+            index: 14
+            equal: false
+          - name: MIDELEG_DELEGATABLE
+            index: 15
+            equal: false
+    # An unimplemented interrupt cannot be delegated
+    - if:
+        param:
+          name: MIDELEG_DELEGATABLE
+          index: 1
+          equal: true
+      then:
+        param:
+          name: SSI_INTR_IMPL
+          equal: true
+    - if:
+        param:
+          name: MIDELEG_DELEGATABLE
+          index: 3
+          equal: true
+      then:
+        param:
+          name: MSI_INTR_IMPL
+          equal: true
+    - if:
+        param:
+          name: MIDELEG_DELEGATABLE
+          index: 5
+          equal: true
+      then:
+        param:
+          name: STI_INTR_IMPL
+          equal: true
+    - if:
+        param:
+          name: MIDELEG_DELEGATABLE
+          index: 7
+          equal: true
+      then:
+        param:
+          name: MTI_INTR_IMPL
+          equal: true
+    - if:
+        param:
+          name: MIDELEG_DELEGATABLE
+          index: 9
+          equal: true
+      then:
+        param:
+          name: SEI_INTR_IMPL
+          equal: true
+    - if:
+        param:
+          name: MIDELEG_DELEGATABLE
+          index: 11
+          equal: true
+      then:
+        param:
+          name: MEI_INTR_IMPL
+          equal: true
+    # LCOFI (bit 13) is defined by Sscofpmf
+    - if:
+        not:
+          extension:
+            name: Sscofpmf
+      then:
+        param:
+          name: MIDELEG_DELEGATABLE
+          index: 13
+          equal: false
+    # VSSI, VSTI, and VSEI are always delegated to HS-mode when H is implemented
+    - if:
+        extension:
+          name: H
+      then:
+        allOf:
+          # VSSI, VSTI, and VSEI are always delegated to HS-mode when H is implemented
+          - param:
+              allOf:
+                - name: MIDELEG_DELEGATABLE
+                  index: 2
+                  equal: true
+                - name: MIDELEG_DELEGATABLE
+                  index: 6
+                  equal: true
+                - name: MIDELEG_DELEGATABLE
+                  index: 10
+                  equal: true
+          # SGEI is always delegated to HS-mode when any guest external interrupts are implemented (GEILEN nonzero)
+          - if:
+              not:
+                param:
+                  name: NUM_EXTERNAL_GUEST_INTERRUPTS
+                  equal: 0
+            then:
+              param:
+                name: MIDELEG_DELEGATABLE
+                index: 12
+                equal: true
+          - if:
+              param:
+                name: NUM_EXTERNAL_GUEST_INTERRUPTS
+                equal: 0
+            then:
+              param:
+                name: MIDELEG_DELEGATABLE
+                index: 12
+                equal: false
+    - if:
+        not:
+          extension:
+            name: H
+      then:
+        param:
+          allOf:
+            - name: MIDELEG_DELEGATABLE
+              index: 2
+              equal: false
+            - name: MIDELEG_DELEGATABLE
+              index: 6
+              equal: false
+            - name: MIDELEG_DELEGATABLE
+              index: 10
+              equal: false
+            - name: MIDELEG_DELEGATABLE
+              index: 12
+              equal: false

data/.data/spec/std/isa/param/MSI_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: MSI_INTR_IMPL
+description: |
+  Whether or not machine-level software interrupts are implemented.
+
+  Possible values:
+
+  true::
+    Machine-level software interrupts are implemented.
+    `mie.MSIE` is writable, and `mideleg.MSI` is writable if `MIDELEG_DELEGATABLE[3]` is true.
+
+  false::
+    Machine-level software interrupts are not implemented.
+    `mie.MSIE` and `mideleg.MSI` are read-only zero.
+long_name: Machine-level software interrupts are implemented
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Zicsr
+      - name: Sm

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

@@ -6,32 +6,25 @@
 $schema: param_schema.json#
 kind: parameter
 name: MSTATUS_FS_LEGAL_VALUES
-description: "The set of values that mstatus.FS supports.
-
-  "
-long_name: TODO
+description: The set of values that mstatus.FS supports.
+long_name: mstatus.FS legal values
 schema:
   type: array
   items:
     type: integer
     enum:
-      - 0
-      - 1
-      - 2
-      - 3
+      - 0 # Off
+      - 1 # Initial
+      - 2 # Clean
+      - 3 # Dirty
   maxItems: 4
   minItems: 1
   uniqueItems: true
 requirements:
   idl(): |
-    implemented?(ExtensionName::F) &&
-      (HW_MSTATUS_FS_DIRTY_UPDATE == "precise" ||
-       HW_MSTATUS_FS_DIRTY_UPDATE == "imprecise")
-    ->
+    implemented?(ExtensionName::F) ->
       $array_includes?(MSTATUS_FS_LEGAL_VALUES, 3);
-  reason:
-    If there is a hardware update to mstatus.FS, then the Dirty state must be
-    supported
+  reason: If F extension is implemented, then the Dirty state must be supported
 definedBy:
   extension:
     allOf:

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` and `mtimecmp` are writable, and `mideleg.MTI` is writable if `MIDELEG_DELEGATABLE[7]` is true.
+
+  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/{HCONTEXT_AVAILABLE.yaml → NON_STANDARD_EXTENSION_IMPLEMENTED.yaml}

@@ -5,15 +5,13 @@
 
 $schema: param_schema.json#
 kind: parameter
-name: HCONTEXT_AVAILABLE
+name: NON_STANDARD_EXTENSION_IMPLEMENTED
 description: |
-  Specifies if HCONTEXT is available
-long_name: HCONTEXT Availability
+  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: boolean
 definedBy:
   extension:
-    name: Sdtrig
-requirements:
-  idl(): HCONTEXT_AVAILABLE -> MCONTEXT_AVAILABLE;
-  reason: HCONTEXT cannot exist without MCONTEXT
+    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/SCONTEXT_IMPLEMENTED.yaml

@@ -0,0 +1,18 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SCONTEXT_IMPLEMENTED
+description: |
+  Specifies if the scontext CSR is implemented
+long_name: scontext CSR is implemented
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Sdtrig
+      - name: S

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/SDTRIG_BREAKPOINT_REENTRANCY.yaml

@@ -0,0 +1,45 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_BREAKPOINT_REENTRANCY
+description: |
+  How the hart prevents triggers with action=0 (breakpoint exception) from re-firing
+  inside their own handler (Debug spec 1.0, Sdtrig "Native Triggers").
+
+  * No_reentrancy_support: no specific support for reentrancy.
+  * Use_interrupt_enables: triggers with action=0 do not match or fire in M-mode while
+    mstatus.MIE is 0 (and likewise S/VS-mode with sstatus.SIE / vsstatus.SIE when delegated).
+  * Use_tcontrol: tcontrol.mte and tcontrol.mpte are implemented, and medeleg[3] is hard-wired to 0.
+long_name: Breakpoint reentrancy mechanism
+schema:
+  type: string
+  enum:
+    - No_reentrancy_support
+    - Use_interrupt_enables
+    - Use_tcontrol
+requirements:
+  if:
+    param:
+      name: SDTRIG_BREAKPOINT_REENTRANCY
+      equal: Use_tcontrol
+  then:
+    allOf:
+      - param:
+          name: TCONTROL_IMPLEMENTED
+          equal: true
+          reason: The Use_tcontrol mechanism requires the tcontrol CSR.
+      - if:
+          extension:
+            name: S
+        then:
+          param:
+            name: MEDELEG_DELEGATABLE
+            index: 3
+            equal: false
+definedBy:
+  extension:
+    name: Sdtrig