pmp32cfg = if ((CSR[pmpcfg8].pmp32cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp32cfg & 0x1) == 0) && ((csr_value.pmp32cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp32cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp32cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg8].pmp32cfg;
pmp33cfg = if ((CSR[pmpcfg8].pmp33cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp33cfg & 0x1) == 0) && ((csr_value.pmp33cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp33cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp33cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg8].pmp33cfg;
pmp34cfg = if ((CSR[pmpcfg8].pmp34cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp34cfg & 0x1) == 0) && ((csr_value.pmp34cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp34cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp34cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg8].pmp34cfg;
pmp35cfg = if ((CSR[pmpcfg8].pmp35cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp35cfg & 0x1) == 0) && ((csr_value.pmp35cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp35cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp35cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg8].pmp35cfg;
pmp36cfg = if ((CSR[pmpcfg8].pmp36cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp36cfg & 0x1) == 0) && ((csr_value.pmp36cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp36cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp36cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg8].pmp36cfg;
pmp37cfg = if ((CSR[pmpcfg8].pmp37cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp37cfg & 0x1) == 0) && ((csr_value.pmp37cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp37cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp37cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg8].pmp37cfg;
pmp38cfg = if ((CSR[pmpcfg8].pmp38cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp38cfg & 0x1) == 0) && ((csr_value.pmp38cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp38cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp38cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg8].pmp38cfg;
pmp39cfg = if ((CSR[pmpcfg8].pmp39cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp39cfg & 0x1) == 0) && ((csr_value.pmp39cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp39cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp39cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg8].pmp39cfg;