pmp8cfg = if ((CSR[pmpcfg2].pmp8cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp8cfg & 0x1) == 0) && ((csr_value.pmp8cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp8cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp8cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg2].pmp8cfg;
pmp9cfg = if ((CSR[pmpcfg2].pmp9cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp9cfg & 0x1) == 0) && ((csr_value.pmp9cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp9cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp9cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg2].pmp9cfg;
pmp10cfg = if ((CSR[pmpcfg2].pmp10cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp10cfg & 0x1) == 0) && ((csr_value.pmp10cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp10cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp10cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg2].pmp10cfg;
pmp11cfg = if ((CSR[pmpcfg2].pmp11cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp11cfg & 0x1) == 0) && ((csr_value.pmp11cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp11cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp11cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg2].pmp11cfg;
pmp12cfg = if ((CSR[pmpcfg2].pmp12cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp12cfg & 0x1) == 0) && ((csr_value.pmp12cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp12cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp12cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg2].pmp12cfg;
pmp13cfg = if ((CSR[pmpcfg2].pmp13cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp13cfg & 0x1) == 0) && ((csr_value.pmp13cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp13cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp13cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg2].pmp13cfg;
pmp14cfg = if ((CSR[pmpcfg2].pmp14cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp14cfg & 0x1) == 0) && ((csr_value.pmp14cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp14cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp14cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg2].pmp14cfg;
pmp15cfg = if ((CSR[pmpcfg2].pmp15cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp15cfg & 0x1) == 0) && ((csr_value.pmp15cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp15cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp15cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg2].pmp15cfg;