pmp24cfg = if ((CSR[pmpcfg6].pmp24cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp24cfg & 0x1) == 0) && ((csr_value.pmp24cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp24cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp24cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg6].pmp24cfg;
pmp25cfg = if ((CSR[pmpcfg6].pmp25cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp25cfg & 0x1) == 0) && ((csr_value.pmp25cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp25cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp25cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg6].pmp25cfg;
pmp26cfg = if ((CSR[pmpcfg6].pmp26cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp26cfg & 0x1) == 0) && ((csr_value.pmp26cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp26cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp26cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg6].pmp26cfg;
pmp27cfg = if ((CSR[pmpcfg6].pmp27cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp27cfg & 0x1) == 0) && ((csr_value.pmp27cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp27cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp27cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg6].pmp27cfg;
pmp28cfg = if ((CSR[pmpcfg6].pmp28cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp28cfg & 0x1) == 0) && ((csr_value.pmp28cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp28cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp28cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg6].pmp28cfg;
pmp29cfg = if ((CSR[pmpcfg6].pmp29cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp29cfg & 0x1) == 0) && ((csr_value.pmp29cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp29cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp29cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg6].pmp29cfg;
pmp30cfg = if ((CSR[pmpcfg6].pmp30cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp30cfg & 0x1) == 0) && ((csr_value.pmp30cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp30cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp30cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg6].pmp30cfg;
pmp31cfg = if ((CSR[pmpcfg6].pmp31cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp31cfg & 0x1) == 0) && ((csr_value.pmp31cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp31cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp31cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg6].pmp31cfg;