pmpcfg1
PMP Configuration Register 1
PMP entry configuration
Attributes
Defining Extension |
|
||||
---|---|---|---|---|---|
CSR Address |
0x3a1 |
||||
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:
pmp4cfg = if ((CSR[pmpcfg1].pmp4cfg & 0x80) == 0) { # entry is not locked if (!(((csr_value.pmp4cfg & 0x1) == 0) && ((csr_value.pmp4cfg & 0x2) == 0x2))) { # not R = 0, W =1, which is reserved if ((PMP_GRANULARITY < 2) || ((csr_value.pmp4cfg & 0x18) != 0x10)) { # NA4 is not allowed when PMP granularity is larger than 4 bytes return csr_value.pmp4cfg; } } } # fall through: keep old value return CSR[pmpcfg1].pmp4cfg; pmp5cfg = if ((CSR[pmpcfg1].pmp5cfg & 0x80) == 0) { # entry is not locked if (!(((csr_value.pmp5cfg & 0x1) == 0) && ((csr_value.pmp5cfg & 0x2) == 0x2))) { # not R = 0, W =1, which is reserved if ((PMP_GRANULARITY < 2) || ((csr_value.pmp5cfg & 0x18) != 0x10)) { # NA4 is not allowed when PMP granularity is larger than 4 bytes return csr_value.pmp5cfg; } } } # fall through: keep old value return CSR[pmpcfg1].pmp5cfg; pmp6cfg = if ((CSR[pmpcfg1].pmp6cfg & 0x80) == 0) { # entry is not locked if (!(((csr_value.pmp6cfg & 0x1) == 0) && ((csr_value.pmp6cfg & 0x2) == 0x2))) { # not R = 0, W =1, which is reserved if ((PMP_GRANULARITY < 2) || ((csr_value.pmp6cfg & 0x18) != 0x10)) { # NA4 is not allowed when PMP granularity is larger than 4 bytes return csr_value.pmp6cfg; } } } # fall through: keep old value return CSR[pmpcfg1].pmp6cfg; pmp7cfg = if ((CSR[pmpcfg1].pmp7cfg & 0x80) == 0) { # entry is not locked if (!(((csr_value.pmp7cfg & 0x1) == 0) && ((csr_value.pmp7cfg & 0x2) == 0x2))) { # not R = 0, W =1, which is reserved if ((PMP_GRANULARITY < 2) || ((csr_value.pmp7cfg & 0x18) != 0x10)) { # NA4 is not allowed when PMP granularity is larger than 4 bytes return csr_value.pmp7cfg; } } } # fall through: keep old value return CSR[pmpcfg1].pmp7cfg;