pmpcfg11
PMP Configuration Register 11
PMP entry configuration
Attributes
Defining Extension |
|
||||
---|---|---|---|---|---|
CSR Address |
0x3ab |
||||
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:
pmp44cfg = if ((CSR[pmpcfg11].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[pmpcfg11].pmp44cfg; pmp45cfg = if ((CSR[pmpcfg11].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[pmpcfg11].pmp45cfg; pmp46cfg = if ((CSR[pmpcfg11].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[pmpcfg11].pmp46cfg; pmp47cfg = if ((CSR[pmpcfg11].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[pmpcfg11].pmp47cfg;