pmp56cfg = if ((CSR[pmpcfg14].pmp56cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp56cfg & 0x1) == 0) && ((csr_value.pmp56cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp56cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp56cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg14].pmp56cfg;
pmp57cfg = if ((CSR[pmpcfg14].pmp57cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp57cfg & 0x1) == 0) && ((csr_value.pmp57cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp57cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp57cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg14].pmp57cfg;
pmp58cfg = if ((CSR[pmpcfg14].pmp58cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp58cfg & 0x1) == 0) && ((csr_value.pmp58cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp58cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp58cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg14].pmp58cfg;
pmp59cfg = if ((CSR[pmpcfg14].pmp59cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp59cfg & 0x1) == 0) && ((csr_value.pmp59cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp59cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp59cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg14].pmp59cfg;
pmp60cfg = if ((CSR[pmpcfg14].pmp60cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp60cfg & 0x1) == 0) && ((csr_value.pmp60cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp60cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp60cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg14].pmp60cfg;
pmp61cfg = if ((CSR[pmpcfg14].pmp61cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp61cfg & 0x1) == 0) && ((csr_value.pmp61cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp61cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp61cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg14].pmp61cfg;
pmp62cfg = if ((CSR[pmpcfg14].pmp62cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp62cfg & 0x1) == 0) && ((csr_value.pmp62cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp62cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp62cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg14].pmp62cfg;
pmp63cfg = if ((CSR[pmpcfg14].pmp63cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp63cfg & 0x1) == 0) && ((csr_value.pmp63cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp63cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp63cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg14].pmp63cfg;