pmp40cfg = if ((CSR[pmpcfg10].pmp40cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp40cfg & 0x1) == 0) && ((csr_value.pmp40cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp40cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp40cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg10].pmp40cfg;
pmp41cfg = if ((CSR[pmpcfg10].pmp41cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp41cfg & 0x1) == 0) && ((csr_value.pmp41cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp41cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp41cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg10].pmp41cfg;
pmp42cfg = if ((CSR[pmpcfg10].pmp42cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp42cfg & 0x1) == 0) && ((csr_value.pmp42cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp42cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp42cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg10].pmp42cfg;
pmp43cfg = if ((CSR[pmpcfg10].pmp43cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp43cfg & 0x1) == 0) && ((csr_value.pmp43cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp43cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp43cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg10].pmp43cfg;
pmp44cfg = if ((CSR[pmpcfg10].pmp44cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp44cfg & 0x1) == 0) && ((csr_value.pmp44cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp44cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp44cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg10].pmp44cfg;
pmp45cfg = if ((CSR[pmpcfg10].pmp45cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp45cfg & 0x1) == 0) && ((csr_value.pmp45cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp45cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp45cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg10].pmp45cfg;
pmp46cfg = if ((CSR[pmpcfg10].pmp46cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp46cfg & 0x1) == 0) && ((csr_value.pmp46cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp46cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp46cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg10].pmp46cfg;
pmp47cfg = if ((CSR[pmpcfg10].pmp47cfg & 0x80) == 0) {
# entry is not locked
if (!(((csr_value.pmp47cfg & 0x1) == 0) && ((csr_value.pmp47cfg & 0x2) == 0x2))) {
# not R = 0, W =1, which is reserved
if ((PMP_GRANULARITY < 2) ||
((csr_value.pmp47cfg & 0x18) != 0x10)) {
# NA4 is not allowed when PMP granularity is larger than 4 bytes
return csr_value.pmp47cfg;
}
}
}
# fall through: keep old value
return CSR[pmpcfg10].pmp47cfg;