udb 0.1.16 → 0.1.17

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg0].pmp0cfg[4] == 1)) {
       return CSR[pmpaddr0].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg0].pmp0cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr0].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr0].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg0].pmp0cfg[4] == 1)) {
       return CSR[pmpaddr0].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg0].pmp0cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr0].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg0].pmp1cfg[4] == 1)) {
       return CSR[pmpaddr1].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg0].pmp1cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr1].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr1].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg0].pmp1cfg[4] == 1)) {
       return CSR[pmpaddr1].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg0].pmp1cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr1].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg2].pmp10cfg[4] == 1)) {
       return CSR[pmpaddr10].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg2].pmp10cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr10].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr10].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg2].pmp10cfg[4] == 1)) {
       return CSR[pmpaddr10].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg2].pmp10cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr10].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg2].pmp11cfg[4] == 1)) {
       return CSR[pmpaddr11].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg2].pmp11cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr11].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr11].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg2].pmp11cfg[4] == 1)) {
       return CSR[pmpaddr11].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg2].pmp11cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr11].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg3].pmp12cfg[4] == 1)) {
       return CSR[pmpaddr12].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg3].pmp12cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr12].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr12].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg2].pmp12cfg[4] == 1)) {
       return CSR[pmpaddr12].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg2].pmp12cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr12].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg3].pmp13cfg[4] == 1)) {
       return CSR[pmpaddr13].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg3].pmp13cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr13].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr13].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg2].pmp13cfg[4] == 1)) {
       return CSR[pmpaddr13].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg2].pmp13cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr13].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg3].pmp14cfg[4] == 1)) {
       return CSR[pmpaddr14].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg3].pmp14cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr14].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr14].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg2].pmp14cfg[4] == 1)) {
       return CSR[pmpaddr14].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg2].pmp14cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr14].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg3].pmp15cfg[4] == 1)) {
       return CSR[pmpaddr15].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg3].pmp15cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr15].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr15].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg2].pmp15cfg[4] == 1)) {
       return CSR[pmpaddr15].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg2].pmp15cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr15].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg4].pmp16cfg[4] == 1)) {
       return CSR[pmpaddr16].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg4].pmp16cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr16].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr16].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg4].pmp16cfg[4] == 1)) {
       return CSR[pmpaddr16].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg4].pmp16cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr16].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg4].pmp17cfg[4] == 1)) {
       return CSR[pmpaddr17].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg4].pmp17cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr17].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr17].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg4].pmp17cfg[4] == 1)) {
       return CSR[pmpaddr17].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg4].pmp17cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr17].ADDR & ~mask;

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

@@ -48,16 +48,16 @@ fields:
         return csr_value.ADDR;
       }
 sw_read(): |
-  # when the mode is NAPOT and PMP_GRANULARITY >= 16,
+  # when the mode is NAPOT and PMP_GRANULARITY >= 4,
   # bits (PMP_GRANULARITY-4):0 must read as ones
   if (MXLEN == 32) {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg4].pmp18cfg[4] == 1)) {
       return CSR[pmpaddr18].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg4].pmp18cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr18].ADDR & ~mask;
@@ -67,13 +67,13 @@ sw_read(): |
       return CSR[pmpaddr18].ADDR;
     }
   } else {
-    if ((PMP_GRANULARITY >= 16) &&
+    if ((PMP_GRANULARITY >= 4) &&
         (CSR[pmpcfg4].pmp18cfg[4] == 1)) {
       return CSR[pmpaddr18].ADDR | {PMP_GRANULARITY-3{1'b1}};
 
-    # when the mode is OFF or TOR and PMP_GRANULARITY >= 8,
+    # when the mode is OFF or TOR and PMP_GRANULARITY >= 3,
     # bits (PMP_GRANULARITY-3):0 must read as zeros
-    } else if ((PMP_GRANULARITY >= 8) &&
+    } else if ((PMP_GRANULARITY >= 3) &&
                 (CSR[pmpcfg4].pmp18cfg[4] == 0)) {
       Bits<PHYS_ADDR_WIDTH-2> mask = {PMP_GRANULARITY-2{1'b1}};
       return CSR[pmpaddr18].ADDR & ~mask;