pmp16cfg = if ((CSR[pmpcfg4].pmp16cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp16cfg & 0x1) == 0) && ((csr_value.pmp16cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp16cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp16cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg4].pmp16cfg;
pmp17cfg = if ((CSR[pmpcfg4].pmp17cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp17cfg & 0x1) == 0) && ((csr_value.pmp17cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp17cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp17cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg4].pmp17cfg;
pmp18cfg = if ((CSR[pmpcfg4].pmp18cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp18cfg & 0x1) == 0) && ((csr_value.pmp18cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp18cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp18cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg4].pmp18cfg;
pmp19cfg = if ((CSR[pmpcfg4].pmp19cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp19cfg & 0x1) == 0) && ((csr_value.pmp19cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp19cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp19cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg4].pmp19cfg;
pmp20cfg = if ((CSR[pmpcfg4].pmp20cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp20cfg & 0x1) == 0) && ((csr_value.pmp20cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp20cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp20cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg4].pmp20cfg;
pmp21cfg = if ((CSR[pmpcfg4].pmp21cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp21cfg & 0x1) == 0) && ((csr_value.pmp21cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp21cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp21cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg4].pmp21cfg;
pmp22cfg = if ((CSR[pmpcfg4].pmp22cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp22cfg & 0x1) == 0) && ((csr_value.pmp22cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp22cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp22cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg4].pmp22cfg;
pmp23cfg = if ((CSR[pmpcfg4].pmp23cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp23cfg & 0x1) == 0) && ((csr_value.pmp23cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp23cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp23cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg4].pmp23cfg;