udb 0.1.13 → 0.1.15

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 36
       (or, if `pmp37cfg.A` == TOR, for PMP entry 37).
     type(): |
-      if (NUM_PMP_ENTRIES > 36) {
+      if (NUM_USABLE_PMP_ENTRIES > 36) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 36) {
+      if (NUM_USABLE_PMP_ENTRIES <= 36) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 37
       (or, if `pmp38cfg.A` == TOR, for PMP entry 38).
     type(): |
-      if (NUM_PMP_ENTRIES > 37) {
+      if (NUM_USABLE_PMP_ENTRIES > 37) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 37) {
+      if (NUM_USABLE_PMP_ENTRIES <= 37) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 38
       (or, if `pmp39cfg.A` == TOR, for PMP entry 39).
     type(): |
-      if (NUM_PMP_ENTRIES > 38) {
+      if (NUM_USABLE_PMP_ENTRIES > 38) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 38) {
+      if (NUM_USABLE_PMP_ENTRIES <= 38) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 39
       (or, if `pmp40cfg.A` == TOR, for PMP entry 40).
     type(): |
-      if (NUM_PMP_ENTRIES > 39) {
+      if (NUM_USABLE_PMP_ENTRIES > 39) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 39) {
+      if (NUM_USABLE_PMP_ENTRIES <= 39) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 4
       (or, if `pmp5cfg.A` == TOR, for PMP entry 5).
     type(): |
-      if (NUM_PMP_ENTRIES > 4) {
+      if (NUM_USABLE_PMP_ENTRIES > 4) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 4) {
+      if (NUM_USABLE_PMP_ENTRIES <= 4) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 40
       (or, if `pmp41cfg.A` == TOR, for PMP entry 41).
     type(): |
-      if (NUM_PMP_ENTRIES > 40) {
+      if (NUM_USABLE_PMP_ENTRIES > 40) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 40) {
+      if (NUM_USABLE_PMP_ENTRIES <= 40) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 41
       (or, if `pmp42cfg.A` == TOR, for PMP entry 42).
     type(): |
-      if (NUM_PMP_ENTRIES > 41) {
+      if (NUM_USABLE_PMP_ENTRIES > 41) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 41) {
+      if (NUM_USABLE_PMP_ENTRIES <= 41) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 42
       (or, if `pmp43cfg.A` == TOR, for PMP entry 43).
     type(): |
-      if (NUM_PMP_ENTRIES > 42) {
+      if (NUM_USABLE_PMP_ENTRIES > 42) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 42) {
+      if (NUM_USABLE_PMP_ENTRIES <= 42) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 43
       (or, if `pmp44cfg.A` == TOR, for PMP entry 44).
     type(): |
-      if (NUM_PMP_ENTRIES > 43) {
+      if (NUM_USABLE_PMP_ENTRIES > 43) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 43) {
+      if (NUM_USABLE_PMP_ENTRIES <= 43) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 44
       (or, if `pmp45cfg.A` == TOR, for PMP entry 45).
     type(): |
-      if (NUM_PMP_ENTRIES > 44) {
+      if (NUM_USABLE_PMP_ENTRIES > 44) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 44) {
+      if (NUM_USABLE_PMP_ENTRIES <= 44) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 45
       (or, if `pmp46cfg.A` == TOR, for PMP entry 46).
     type(): |
-      if (NUM_PMP_ENTRIES > 45) {
+      if (NUM_USABLE_PMP_ENTRIES > 45) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 45) {
+      if (NUM_USABLE_PMP_ENTRIES <= 45) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 46
       (or, if `pmp47cfg.A` == TOR, for PMP entry 47).
     type(): |
-      if (NUM_PMP_ENTRIES > 46) {
+      if (NUM_USABLE_PMP_ENTRIES > 46) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 46) {
+      if (NUM_USABLE_PMP_ENTRIES <= 46) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 47
       (or, if `pmp48cfg.A` == TOR, for PMP entry 48).
     type(): |
-      if (NUM_PMP_ENTRIES > 47) {
+      if (NUM_USABLE_PMP_ENTRIES > 47) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 47) {
+      if (NUM_USABLE_PMP_ENTRIES <= 47) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 48
       (or, if `pmp49cfg.A` == TOR, for PMP entry 49).
     type(): |
-      if (NUM_PMP_ENTRIES > 48) {
+      if (NUM_USABLE_PMP_ENTRIES > 48) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 48) {
+      if (NUM_USABLE_PMP_ENTRIES <= 48) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 49
       (or, if `pmp50cfg.A` == TOR, for PMP entry 50).
     type(): |
-      if (NUM_PMP_ENTRIES > 49) {
+      if (NUM_USABLE_PMP_ENTRIES > 49) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 49) {
+      if (NUM_USABLE_PMP_ENTRIES <= 49) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 5
       (or, if `pmp6cfg.A` == TOR, for PMP entry 6).
     type(): |
-      if (NUM_PMP_ENTRIES > 5) {
+      if (NUM_USABLE_PMP_ENTRIES > 5) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 5) {
+      if (NUM_USABLE_PMP_ENTRIES <= 5) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 50
       (or, if `pmp51cfg.A` == TOR, for PMP entry 51).
     type(): |
-      if (NUM_PMP_ENTRIES > 50) {
+      if (NUM_USABLE_PMP_ENTRIES > 50) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 50) {
+      if (NUM_USABLE_PMP_ENTRIES <= 50) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 51
       (or, if `pmp52cfg.A` == TOR, for PMP entry 52).
     type(): |
-      if (NUM_PMP_ENTRIES > 51) {
+      if (NUM_USABLE_PMP_ENTRIES > 51) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 51) {
+      if (NUM_USABLE_PMP_ENTRIES <= 51) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 52
       (or, if `pmp53cfg.A` == TOR, for PMP entry 53).
     type(): |
-      if (NUM_PMP_ENTRIES > 52) {
+      if (NUM_USABLE_PMP_ENTRIES > 52) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 52) {
+      if (NUM_USABLE_PMP_ENTRIES <= 52) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 53
       (or, if `pmp54cfg.A` == TOR, for PMP entry 54).
     type(): |
-      if (NUM_PMP_ENTRIES > 53) {
+      if (NUM_USABLE_PMP_ENTRIES > 53) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 53) {
+      if (NUM_USABLE_PMP_ENTRIES <= 53) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 54
       (or, if `pmp55cfg.A` == TOR, for PMP entry 55).
     type(): |
-      if (NUM_PMP_ENTRIES > 54) {
+      if (NUM_USABLE_PMP_ENTRIES > 54) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 54) {
+      if (NUM_USABLE_PMP_ENTRIES <= 54) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 55
       (or, if `pmp56cfg.A` == TOR, for PMP entry 56).
     type(): |
-      if (NUM_PMP_ENTRIES > 55) {
+      if (NUM_USABLE_PMP_ENTRIES > 55) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 55) {
+      if (NUM_USABLE_PMP_ENTRIES <= 55) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 56
       (or, if `pmp57cfg.A` == TOR, for PMP entry 57).
     type(): |
-      if (NUM_PMP_ENTRIES > 56) {
+      if (NUM_USABLE_PMP_ENTRIES > 56) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 56) {
+      if (NUM_USABLE_PMP_ENTRIES <= 56) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 57
       (or, if `pmp58cfg.A` == TOR, for PMP entry 58).
     type(): |
-      if (NUM_PMP_ENTRIES > 57) {
+      if (NUM_USABLE_PMP_ENTRIES > 57) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 57) {
+      if (NUM_USABLE_PMP_ENTRIES <= 57) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 58
       (or, if `pmp59cfg.A` == TOR, for PMP entry 59).
     type(): |
-      if (NUM_PMP_ENTRIES > 58) {
+      if (NUM_USABLE_PMP_ENTRIES > 58) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 58) {
+      if (NUM_USABLE_PMP_ENTRIES <= 58) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;