udb 0.1.16 → 0.1.18

data/.data/spec/schemas/schema_defs.json

@@ -1,6 +1,6 @@
 {
   "$schema": "http://json-schema.org/draft-07/schema#",
-  "$id": "v0.2",
+  "$id": "v0.3",
   "title": "Common patterns used by all schemas",
   "$defs": {
     "$source": {
@@ -638,6 +638,9 @@
                     },
                     {
                       "type": "string"
+                    },
+                    {
+                      "type": "boolean"
                     }
                   ]
                 },

data/.data/spec/std/isa/csr/H/hgeie.yaml

@@ -0,0 +1,38 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/csr_schema.json
+
+$schema: "csr_schema.json#"
+kind: csr
+name: hgeie
+long_name: Hypervisor Guest External Interrupt Enable Register
+writable: true
+description: |
+  The hgeie register is an HSXLEN-bit read/write register that contains enable bits for the guest external interrupts at this hart. Guest external interrupt number i corresponds with bit i in hgeie.
+
+  Guest external interrupts represent interrupts directed to individual virtual machines at VS-level. If a RISC-V platform supports placing a physical device under the direct control of a guest OS with minimal hypervisor intervention (known as pass-through or direct assignment between a virtual machine and the physical device), then, in such circumstance, interrupts from the device are intended for a specific virtual machine.
+
+  [Note]
+  Support for guest external interrupts requires an interrupt controller that can collect virtual-machine-directed interrupts separately from other interrupts.
+
+  The number of bits implemented in hgeie for guest external interrupts is UNSPECIFIED and may be zero. This number is known as GEILEN. The least-significant bits are implemented first, apart from bit 0. Hence, if GEILEN is nonzero, bits GEILEN:1 shall be writable in hgeie, and all other bit positions shall be read-only zeros.
+
+  Register hgeie selects the subset of guest external interrupts that cause a supervisor-level (HS-level) guest external interrupt. The enable bits in hgeie do not affect the VS-level external interrupt signal selected from hgeip by hstatus.VGEIN.
+address: 0x607
+priv_mode: S
+definedBy:
+  extension:
+    name: H
+length: SXLEN
+fields:
+  GEI_ENABLE:
+    long_name: Guest external interrupt enable bits
+    location_rv32: 31-1
+    location_rv64: 63-1
+    type(): |
+      return NUM_EXTERNAL_GUEST_INTERRUPTS > 0 ? CsrFieldType::RW : CsrFieldType::RO;
+    reset_value: UNDEFINED_LEGAL
+    description: Enable bits; see description of hgeie
+    sw_write(csr_value): |
+      return ((MXLEN'1 << NUM_EXTERNAL_GUEST_INTERRUPTS) - 1) & csr_value.GEI_ENABLE;

data/.data/spec/std/isa/csr/H/hgeip.yaml

@@ -0,0 +1,33 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/csr_schema.json
+
+$schema: "csr_schema.json#"
+kind: csr
+name: hgeip
+long_name: Hypervisor Guest External Interrupt Pending Register
+writable: false
+description: |
+  The hgeip register is an HSXLEN-bit read-only register, formatted as that indicates pending guest external interrupts for this hart.
+
+  Guest external interrupts represent interrupts directed to individual virtual machines at VS-level.
+  If a RISC-V platform supports placing a physical device under the direct control of a guest OS with minimal hypervisor intervention (known as pass-through or direct assignment between a virtual machine and the physical device), then, in such circumstance, interrupts from the device are intended for a specific virtual machine.
+  Each bit of hgeip summarizes all pending interrupts directed to one virtual hart, as collected and reported by an interrupt controller. To distinguish specific pending interrupts from multiple devices, software must query the interrupt controller.
+
+  The number of bits implemented in hgeip and hgeie for guest external interrupts is UNSPECIFIED and may be zero.
+  This number is known as GEILEN. The least-significant bits are implemented first, apart from bit 0. Hence, if GEILEN is nonzero, bits GEILEN:1 shall be writable in hgeie, and all other bit positions shall be read-only zeros in both hgeip and hgeie
+address: 0xE12
+priv_mode: S
+definedBy:
+  extension:
+    name: H
+length: SXLEN
+fields:
+  GEI_PENDING:
+    long_name: Guest external interrupt pending bits
+    location_rv32: 31-1
+    location_rv64: 63-1
+    type: RO-H
+    reset_value: 0
+    description: Pending bits; see description of hgeip

data/.data/spec/std/isa/csr/H/hideleg.yaml

@@ -0,0 +1,120 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/csr_schema.json
+
+$schema: "csr_schema.json#"
+kind: csr
+name: hideleg
+long_name: Hypervisor Interrupt Delegation Register
+description: |
+  Register hideleg is an HSXLEN-bit read/write register. By default, all traps at any privilege level are handled in M-mode, though M-mode usually uses the medeleg and mideleg CSRs to delegate some traps to HS-mode.
+  The hedeleg and hideleg CSRs allow these traps to be further delegated to a VS-mode guest; their layout is the same as medeleg and mideleg.
+  An interrupt that has been delegated to HS-mode (using mideleg) is further delegated to VS-mode if the corresponding hideleg bit is set.
+  Among bits 15:0 of hideleg, bits 10, 6, and 2 (corresponding to the standard VS-level interrupts) are writable, and bits 12, 9, 5, and 1 (corresponding to the standard S-level interrupts) are read-only zeros.
+address: 0x603
+writable: true
+priv_mode: S
+definedBy:
+  extension:
+    name: H
+length: SXLEN
+fields:
+  SSI:
+    location: 1
+    type: RO
+    reset_value: 0
+    long_name: Supervisor Software Interrupt
+    description: Supervisor Software Interrupt
+
+  VSSI:
+    location: 2
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    long_name: Virtual Supervisor Software Interrupt
+    description: Virtual Supervisor Software Interrupt
+    sw_write(csr_value): |
+      if (CSR[mideleg].VSSI == 0) {
+        return 0;
+      }
+      if (csr_value.VSSI == 0) {
+        CSR[vsip].SSIP = 0;
+        CSR[vsie].SSIE = 0;
+      }
+      return csr_value.VSSI;
+
+  STI:
+    location: 5
+    type: RO
+    reset_value: 0
+    long_name: Supervisor Timer Interrupt
+    description: Supervisor Timer Interrupt
+
+  VSTI:
+    location: 6
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    long_name: Virtual Supervisor Timer Interrupt
+    description: Virtual Supervisor Timer Interrupt
+    sw_write(csr_value): |
+      if (CSR[mideleg].VSTI == 0) {
+        return 0;
+      }
+      if (csr_value.VSTI == 0) {
+        CSR[vsip].STIP = 0;
+        CSR[vsie].STIE = 0;
+      }
+      return csr_value.VSTI;
+
+  SEI:
+    location: 9
+    type: RO
+    reset_value: 0
+    long_name: Supervisor External Interrupt
+    description: Supervisor External Interrupt
+
+  VSEI:
+    location: 10
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    long_name: Virtual Supervisor External Interrupt
+    description: Virtual Supervisor External Interrupt
+    sw_write(csr_value): |
+      if (CSR[mideleg].VSEI == 0) {
+        return 0;
+      }
+      if (csr_value.VSEI == 0) {
+        CSR[vsip].SEIP = 0;
+        CSR[vsie].SEIE = 0;
+      }
+      return csr_value.VSEI;
+
+  SGEI:
+    location: 12
+    type: RO
+    reset_value: 0
+    long_name: Supervisor Guest External Interrupt
+    description: Supervisor Guest External Interrupt
+
+  LCOFI:
+    location: 13
+    definedBy:
+      extension:
+        name: Sscofpmf
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    long_name: Local-Counter-Overfloat Interrupt
+    description: Local-Counter-Overfloat Interrupt
+    sw_write(csr_value): |
+      if (CSR[mideleg].LCOFI == 0) {
+        return 0;
+      }
+      if (csr_value.LCOFI == 0) {
+        CSR[vsip].LCOFIP = 0;
+        CSR[vsie].LCOFIE = 0;
+      }
+      return csr_value.LCOFI;
+
+sw_read(): |
+  XReg mask = CSR[mideleg].VSSI | CSR[mideleg].VSTI | CSR[mideleg].VSEI | CSR[mideleg].LCOFI;
+  return $bits(CSR[hideleg]) & mask;

data/.data/spec/std/isa/csr/H/hie.yaml

@@ -0,0 +1,74 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/csr_schema.json
+
+$schema: "csr_schema.json#"
+kind: csr
+name: hie
+long_name: Hypervisor Interrupt Enable Register
+description: |
+  The `hie` register is a read/write register in HS-mode that enables interrupts.
+  It corresponds to the enable bits for VS-level and hypervisor-specific interrupts, and supplements
+  the HS-level `sie` register.
+address: 0x604
+writable: true
+priv_mode: S
+definedBy:
+  extension:
+    name: H
+length: SXLEN
+fields:
+  # TODO: For each writable bit in sie, the corresponding bit shall be read-only zero in both hip and hie.
+
+  SGEIE:
+    location: 12
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    description: |
+      Hypervisor guest external interrupt enable bit. When set, allows external interrupts to be delivered
+      to VS-mode based on the `hgeie` setting.
+    sw_write(csr_value): |
+      if (CSR[mideleg].SGEI == 0) {
+        return 0;
+      }
+      return csr_value.SGEIE;
+
+  VSEIE:
+    location: 10
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    description: |
+      VS-level external interrupt enable bit. When set, allows external interrupts directed to VS-level
+      to be processed based on the configuration in `hvip` and other platform-specific sources.
+    sw_write(csr_value): |
+      if (CSR[mideleg].VSEI == 0) {
+        return 0;
+      }
+      return csr_value.VSEIE;
+
+  VSTIE:
+    location: 6
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    description: |
+      VS-level timer interrupt enable bit. When set, allows VS-level timer interrupts to be processed
+      based on the `hvip` configuration and any platform-specific timer interrupts.
+    sw_write(csr_value): |
+      if (CSR[mideleg].VSTI == 0) {
+        return 0;
+      }
+      return csr_value.VSTIE;
+
+  VSSIE:
+    location: 2
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    description: |
+      VS-level software interrupt enable bit. When set, allows software interrupts directed to VS-level
+      to be processed, based on the configuration in `hvip`.
+    sw_write(csr_value): |
+      if (CSR[mideleg].VSSI == 0) {
+        return 0;
+      }
+      return csr_value.VSSIE;

data/.data/spec/std/isa/csr/H/hip.yaml

@@ -0,0 +1,88 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/csr_schema.json
+
+$schema: "csr_schema.json#"
+kind: csr
+name: hip
+long_name: Hypervisor Interrupt Pending Register
+writable: true
+description: |
+  The `hip` register is an HSXLEN-bit read/write register that indicates pending interrupts at the hypervisor level.
+  It contains interrupt-pending bits for both VS-level and hypervisor-specific interrupts.
+address: 0x608
+priv_mode: S
+definedBy:
+  extension:
+    name: H
+sw_read(): |
+  XReg res = 0;
+
+  # SGEIP: 1 iff bitwise AND of hgeip and hgeie is nonzero
+  if (($bits(CSR[hgeie]) & $bits(CSR[hgeip])) != 0) {
+    res[12] = 1'b1;
+  }
+
+  # VSEIP: logical OR of hvip.VSEIP and platform-specific sources
+  if (CSR[hvip].VSEIP == 1'b1) {
+    res[10] = 1'b1;
+  }
+
+  # VSTIP: logical OR of hvip.VSTIP and vstimecmp comparison (if Sstc)
+  if (implemented?(ExtensionName::Sstc)) {
+    if ((CSR[hvip].VSTIP == 1'b1) || ((read_mtime() + CSR[htimedelta].DELTA) >= CSR[vstimecmp].TIME)) {
+      res[6] = 1'b1;
+    }
+  } else {
+    if (CSR[hvip].VSTIP == 1'b1) {
+      res[6] = 1'b1;
+    }
+  }
+
+  # VSSIP: alias of hvip.VSSIP
+  if (CSR[hvip].VSSIP == 1'b1) {
+    res[2] = 1'b1;
+  }
+
+  return res;
+length: SXLEN
+fields:
+  # TODO: For each writable bit in sie, the corresponding bit shall be read-only zero in both hip and hie.
+
+  SGEIP:
+    location: 12
+    type: RO-H
+    reset_value: 0
+    description: |
+      Pending interrupt bit for supervisor guest external interrupts (SGEI).
+      This bit is 1 if and only if the logical AND of `hgeip` and `hgeie` is nonzero.
+
+  VSEIP:
+    location: 10
+    type: RO-H
+    reset_value: 0
+    description: |
+      Pending interrupt bit for VS-level external interrupts (VSEI).
+      This bit is the logical OR of `vseip` from `hvip`, the interrupt from `hgeip` selected by `hstatus.VGEIN`,
+      and any other external interrupt signal directed to VS-level.
+
+  VSTIP:
+    location: 6
+    type: RO-H
+    reset_value: 0
+    description: |
+      Pending interrupt bit for VS-level timer interrupts (VSTI).
+      This bit is the logical OR of `vstip` from `hvip` and any other timer interrupt directed to VS-level.
+
+  VSSIP:
+    location: 2
+    type: RO-H
+    reset_value: 0
+    sw_write(csr_value): |
+      # VSSIP in hip is an alias of VSSIP in hvip
+      CSR[hvip].VSSIP = csr_value.VSSIP;
+      return csr_value.VSSIP;
+    description: |
+      Pending interrupt bit for VS-level software interrupts (VSSI).
+      This bit is an alias of the `vssip` bit in `hvip`.

data/.data/spec/std/isa/csr/H/hvip.yaml

@@ -0,0 +1,46 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/csr_schema.json
+
+$schema: "csr_schema.json#"
+kind: csr
+name: hvip
+long_name: Hypervisor Virtual Interrupt Pending Register
+description: |
+  The `hvip` register is an HSXLEN-bit read/write register that a hypervisor can write to indicate virtual interrupts intended for VS-mode.
+  It contains interrupt-pending bits for virtual interrupts such as VS-level external interrupts, timer interrupts, and software interrupts.
+address: 0x645
+writable: true
+priv_mode: S
+definedBy:
+  extension:
+    name: H
+length: SXLEN
+fields:
+  VSEIP:
+    location: 10
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    description: |
+      Pending interrupt bit for VS-level external interrupts. This bit is writable and
+      is set to 1 to assert a VS-level external interrupt.
+      TODO: assert the interrupt
+
+  VSTIP:
+    location: 6
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    description: |
+      Pending interrupt bit for VS-level timer interrupts. This bit is writable and
+      is set to 1 to assert a VS-level timer interrupt.
+      TODO: assert the interrupt
+
+  VSSIP:
+    location: 2
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    description: |
+      Pending interrupt bit for VS-level software interrupts. This bit is writable and
+      is set to 1 to assert a VS-level software interrupt.
+      TODO: assert the interrupt

data/.data/spec/std/isa/csr/H/vsie.yaml

@@ -0,0 +1,86 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/csr_schema.json
+
+$schema: "csr_schema.json#"
+kind: csr
+name: vsie
+long_name: Virtual Supervisor Interrupt Enable
+description: |
+  The vsie register is a VSXLEN-bit read/write register that is VS-mode’s version of
+  supervisor CSR sie. When V=1, vsie substitutes for the usual sie, so instructions that
+  normally read or modify sie actually access vsie instead. However, interrupts directed to
+  HS-level continue to be indicated in the HS-level sip register, not in vsip, when V=1.
+
+  When bit 13 of hideleg is zero, vsie.LCOFIE is read-only zero. Else, vsie.LCOFIE is an alias of sie.LCOFIE.
+  When bit 10 of hideleg is zero, vsie.SEIE is read-only zero. Else, vsie.SEIE is an alias of hie.VSEIE.
+  When bit 6 of hideleg is zero, vsie.STIE is read-only zero. Else, vsie.STIE is an alias of hie.VSTIE.
+  When bit 2 of hideleg is zero, vsie.SSIE is read-only zero. Else, vsie.SSIE is an alias of hie.VSSIE.
+address: 0x204
+virtual_address: 0x104
+writable: true
+priv_mode: VS
+definedBy:
+  extension:
+    name: H
+sw_read(): |
+  XReg result = 0;
+  if (CSR[hideleg].VSSI == 1) {
+    result[1] = CSR[hie].VSSIE;
+  }
+  if (CSR[hideleg].VSTI == 1) {
+    result[5] = CSR[hie].VSTIE;
+  }
+  if (CSR[hideleg].VSEI == 1) {
+    result[9] = CSR[hie].VSEIE;
+  }
+  if (CSR[hideleg].LCOFI == 1) {
+    result[13] = CSR[sie].LCOFIE;
+  }
+  return result;
+length: VSXLEN
+fields:
+  SSIE:
+    location: 1
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    sw_write(csr_value): |
+      if (CSR[hideleg].VSSI == 1) {
+        CSR[hie].VSSIE = csr_value.SSIE;
+      }
+    description: |
+      SSIE. Read-only zero when hideleg.VSSI is 0. Else, alias of hie.VSSIE.
+
+  STIE:
+    location: 5
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    sw_write(csr_value): |
+      if (CSR[hideleg].VSTI == 1) {
+        CSR[hie].VSTIE = csr_value.STIE;
+      }
+    description: |
+      STIE. Read-only zero when hideleg.VSTI is 0. Else, alias of hie.VSTIE.
+
+  SEIE:
+    location: 9
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    sw_write(csr_value): |
+      if (CSR[hideleg].VSEI == 1) {
+        CSR[hie].VSEIE = csr_value.SEIE;
+      }
+    description: |
+      SEIE. Read-only zero when hideleg.VSEI is 0. Else, alias of hie.VSEIE.
+
+  LCOFIE:
+    location: 13
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    sw_write(csr_value): |
+      if (CSR[hideleg].LCOFI == 1) {
+        CSR[sie].LCOFIE = csr_value.LCOFIE;
+      }
+    description: |
+      LCOFIE. Read-only zero when hideleg.LCOFI is 0. Else, alias of sie.LCOFIE.

data/.data/spec/std/isa/csr/H/vsip.yaml

@@ -0,0 +1,98 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/csr_schema.json
+
+$schema: "csr_schema.json#"
+kind: csr
+name: vsip
+long_name: Virtual Supervisor Interrupt Pending
+description: |
+  The `vsip` register is a VSXLEN-bit read/write register that is VS-mode’s version of the `sip` CSR.
+  When V=1, instructions that normally access `sip` instead access `vsip`. It holds the pending
+  interrupt status for supervisor-level traps in a virtualized environment.
+
+  However, interrupts directed to HS-level continue to be indicated in the HS-level `sip` register,
+  not in `vsip`, when V=1.
+
+  The standard portion (bits 15:0) includes individual interrupt-pending bits.
+address: 0x244
+virtual_address: 0x144
+writable: true
+priv_mode: VS
+definedBy:
+  extension:
+    name: H
+sw_read(): |
+  XReg result = 0;
+  if (CSR[hideleg].VSSI == 1) {
+    result[1] = CSR[hip].VSSIP;
+  }
+  if (CSR[hideleg].VSTI == 1) {
+    result[5] = CSR[hip].VSTIP;
+  }
+  if (CSR[hideleg].VSEI == 1) {
+    result[9] = CSR[hip].VSEIP;
+  }
+  if (implemented?(ExtensionName::Sscofpmf)) {
+    if (CSR[hideleg].LCOFI == 1) {
+      result[13] = CSR[sip].LCOFIP;
+    }
+  }
+  return result;
+length: VSXLEN
+fields:
+  SSIP:
+    location: 1
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    sw_write(csr_value): |
+      if (CSR[hideleg].VSSI == 1) {
+        CSR[hip].VSSIP = csr_value.SSIP;
+      }
+    description: |
+      *Supervisor Software Interrupt Pending*
+      Indicates a pending software interrupt at the supervisor level.
+      Read-only zero when `hideleg.VSSI == 0`, else aliased to `hip.VSSIP`.
+
+  STIP:
+    location: 5
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    sw_write(csr_value): |
+      if (CSR[hideleg].VSTI == 1) {
+        CSR[hip].VSTIP = csr_value.STIP;
+      }
+    description: |
+      *Supervisor Timer Interrupt Pending*
+      Indicates a pending timer interrupt at the supervisor level.
+      Read-only zero when `hideleg.VSTI == 0`, else aliased to `hip.VSTIP`.
+
+  SEIP:
+    location: 9
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    sw_write(csr_value): |
+      if (CSR[hideleg].VSEI == 1) {
+        CSR[hip].VSEIP = csr_value.SEIP;
+      }
+    description: |
+      *Supervisor External Interrupt Pending*
+      Indicates a pending external interrupt at the supervisor level.
+      Read-only zero when `hideleg.VSEI == 0`, else aliased to `hip.VSEIP`.
+
+  LCOFIP:
+    definedBy:
+      extension:
+        name: Sscofpmf
+    location: 13
+    type: RW-H
+    reset_value: UNDEFINED_LEGAL
+    sw_write(csr_value): |
+      if (CSR[hideleg].LCOFI == 1) {
+        CSR[sip].LCOFIP = csr_value.LCOFIP;
+      }
+    description: |
+      *Local Counter Overflow Interrupt Pending*
+      Indicates an overflow of a local counter.
+      Read-only zero when `hideleg.LCOFI == 0`, else aliased to `sip.LCOFIP`.

data/.data/spec/std/isa/csr/H/vsscratch.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/csr_schema.json
+
+$schema: "csr_schema.json#"
+kind: csr
+name: vsscratch
+address: 0x240
+virtual_address: 0x140
+long_name: Virtual Supervisor Scratch Register
+writable: true
+description: |
+  The vsscratch register is a VSXLEN-bit read/write register that is VS-mode’s version of supervisor register sscratch.
+  When V=1, vsscratch substitutes for the usual sscratch, so instructions that normally read or modify sscratch actually access vsscratch instead.
+  The contents of vsscratch never directly affect the behavior of the machine.
+priv_mode: VS
+length: VSXLEN
+definedBy:
+  extension:
+    name: H
+fields:
+  SCRATCH:
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    location_rv32: 31-0
+    location_rv64: 63-0
+    description: |
+      Virtual supervisor scratch register.

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

@@ -84,6 +84,13 @@ description: |
   <%%- end -%>
   .
   <%%- end -%>
+  <%%- if ext?(:Smcdeleg) -%>
+
+  When the Smcdeleg/Ssccfg extensions are enabled (`menvcfg.CDE`=1), `mcounteren` further
+  allows M-mode to delegate select counters to S-mode. When a counter _i_ is delegated
+  (`mcounteren`[_i_]=1 and `menvcfg.CDE`=1), the register state associated with counter _i_
+  can be read or written via `sireg*`, while `siselect` holds 0x40+_i_.
+  <%%- end -%>
 definedBy:
   extension:
     name: U # actually, defined by RV64, but must implement U-mode for this CSR to exist

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

@@ -87,6 +87,13 @@ description: |
   <%- end -%>
   .
   <%- end -%>
+  <%- if ext?(:Smcdeleg) -%>
+
+  When the Smcdeleg/Ssccfg extensions are enabled (`menvcfg.CDE`=1), `mcounteren` further
+  allows M-mode to delegate select counters to S-mode. When a counter _i_ is delegated
+  (`mcounteren`[_i_]=1 and `menvcfg.CDE`=1), the register state associated with counter _i_
+  can be read or written via `sireg*`, while `siselect` holds 0x40+_i_.
+  <%- end -%>
 definedBy:
   extension:
     name: U # actually, defined by RV64, but must implement U-mode for this CSR to exist