pmpcfg15
PMP Configuration Register 15
PMP entry configuration
Attributes
Defining Extension |
|
||||
---|---|---|---|---|---|
CSR Address |
0x3af |
||||
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:
pmp60cfg = if ((CSR[pmpcfg15].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[pmpcfg15].pmp60cfg; pmp61cfg = if ((CSR[pmpcfg15].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[pmpcfg15].pmp61cfg; pmp62cfg = if ((CSR[pmpcfg15].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[pmpcfg15].pmp62cfg; pmp63cfg = if ((CSR[pmpcfg15].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[pmpcfg15].pmp63cfg;