pmpcfg13
PMP Configuration Register 13
PMP entry configuration
Attributes
Defining Extension |
|
||||
---|---|---|---|---|---|
CSR Address |
0x3ad |
||||
Length |
|
||||
Privilege Mode |
M |
Software write
This CSR may store a value that is different from what software attempts to write.
When a software write occurs (e.g., through csrrw), the following determines the written value:
pmp52cfg = if ((CSR[pmpcfg13].pmp52cfg & 0x80) == 0) { # entry is not locked if (!(((csr_value.pmp52cfg & 0x1) == 0) && ((csr_value.pmp52cfg & 0x2) == 0x2))) { # not R = 0, W =1, which is reserved if ((PMP_GRANULARITY < 2) || ((csr_value.pmp52cfg & 0x18) != 0x10)) { # NA4 is not allowed when PMP granularity is larger than 4 bytes return csr_value.pmp52cfg; } } } # fall through: keep old value return CSR[pmpcfg13].pmp52cfg; pmp53cfg = if ((CSR[pmpcfg13].pmp53cfg & 0x80) == 0) { # entry is not locked if (!(((csr_value.pmp53cfg & 0x1) == 0) && ((csr_value.pmp53cfg & 0x2) == 0x2))) { # not R = 0, W =1, which is reserved if ((PMP_GRANULARITY < 2) || ((csr_value.pmp53cfg & 0x18) != 0x10)) { # NA4 is not allowed when PMP granularity is larger than 4 bytes return csr_value.pmp53cfg; } } } # fall through: keep old value return CSR[pmpcfg13].pmp53cfg; pmp54cfg = if ((CSR[pmpcfg13].pmp54cfg & 0x80) == 0) { # entry is not locked if (!(((csr_value.pmp54cfg & 0x1) == 0) && ((csr_value.pmp54cfg & 0x2) == 0x2))) { # not R = 0, W =1, which is reserved if ((PMP_GRANULARITY < 2) || ((csr_value.pmp54cfg & 0x18) != 0x10)) { # NA4 is not allowed when PMP granularity is larger than 4 bytes return csr_value.pmp54cfg; } } } # fall through: keep old value return CSR[pmpcfg13].pmp54cfg; pmp55cfg = if ((CSR[pmpcfg13].pmp55cfg & 0x80) == 0) { # entry is not locked if (!(((csr_value.pmp55cfg & 0x1) == 0) && ((csr_value.pmp55cfg & 0x2) == 0x2))) { # not R = 0, W =1, which is reserved if ((PMP_GRANULARITY < 2) || ((csr_value.pmp55cfg & 0x18) != 0x10)) { # NA4 is not allowed when PMP granularity is larger than 4 bytes return csr_value.pmp55cfg; } } } # fall through: keep old value return CSR[pmpcfg13].pmp55cfg;