2 * QEMU RISC-V PMP (Physical Memory Protection)
4 * Author: Daire McNamara, daire.mcnamara@emdalo.com
5 * Ivan Griffin, ivan.griffin@emdalo.com
7 * This provides a RISC-V Physical Memory Protection implementation
9 * This program is free software; you can redistribute it and/or modify it
10 * under the terms and conditions of the GNU General Public License,
11 * version 2 or later, as published by the Free Software Foundation.
13 * This program is distributed in the hope it will be useful, but WITHOUT
14 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
18 * You should have received a copy of the GNU General Public License along with
19 * this program. If not, see <http://www.gnu.org/licenses/>.
22 #include "qemu/osdep.h"
24 #include "qapi/error.h"
27 #include "exec/exec-all.h"
29 static void pmp_write_cfg(CPURISCVState
*env
, uint32_t addr_index
,
31 static uint8_t pmp_read_cfg(CPURISCVState
*env
, uint32_t addr_index
);
32 static void pmp_update_rule(CPURISCVState
*env
, uint32_t pmp_index
);
35 * Accessor method to extract address matching type 'a field' from cfg reg
37 static inline uint8_t pmp_get_a_field(uint8_t cfg
)
44 * Check whether a PMP is locked or not.
46 static inline int pmp_is_locked(CPURISCVState
*env
, uint32_t pmp_index
)
49 if (env
->pmp_state
.pmp
[pmp_index
].cfg_reg
& PMP_LOCK
) {
53 /* Top PMP has no 'next' to check */
54 if ((pmp_index
+ 1u) >= MAX_RISCV_PMPS
) {
62 * Count the number of active rules.
64 uint32_t pmp_get_num_rules(CPURISCVState
*env
)
66 return env
->pmp_state
.num_rules
;
70 * Accessor to get the cfg reg for a specific PMP/HART
72 static inline uint8_t pmp_read_cfg(CPURISCVState
*env
, uint32_t pmp_index
)
74 if (pmp_index
< MAX_RISCV_PMPS
) {
75 return env
->pmp_state
.pmp
[pmp_index
].cfg_reg
;
83 * Accessor to set the cfg reg for a specific PMP/HART
84 * Bounds checks and relevant lock bit.
86 static void pmp_write_cfg(CPURISCVState
*env
, uint32_t pmp_index
, uint8_t val
)
88 if (pmp_index
< MAX_RISCV_PMPS
) {
91 if (riscv_feature(env
, RISCV_FEATURE_EPMP
)) {
92 /* mseccfg.RLB is set */
93 if (MSECCFG_RLB_ISSET(env
)) {
97 /* mseccfg.MML is not set */
98 if (!MSECCFG_MML_ISSET(env
) && !pmp_is_locked(env
, pmp_index
)) {
102 /* mseccfg.MML is set */
103 if (MSECCFG_MML_ISSET(env
)) {
104 /* not adding execute bit */
105 if ((val
& PMP_LOCK
) != 0 && (val
& PMP_EXEC
) != PMP_EXEC
) {
108 /* shared region and not adding X bit */
109 if ((val
& PMP_LOCK
) != PMP_LOCK
&&
110 (val
& 0x7) != (PMP_WRITE
| PMP_EXEC
)) {
115 if (!pmp_is_locked(env
, pmp_index
)) {
121 qemu_log_mask(LOG_GUEST_ERROR
, "ignoring pmpcfg write - locked\n");
123 env
->pmp_state
.pmp
[pmp_index
].cfg_reg
= val
;
124 pmp_update_rule(env
, pmp_index
);
127 qemu_log_mask(LOG_GUEST_ERROR
,
128 "ignoring pmpcfg write - out of bounds\n");
132 static void pmp_decode_napot(target_ulong a
, target_ulong
*sa
, target_ulong
*ea
)
135 aaaa...aaa0 8-byte NAPOT range
136 aaaa...aa01 16-byte NAPOT range
137 aaaa...a011 32-byte NAPOT range
139 aa01...1111 2^XLEN-byte NAPOT range
140 a011...1111 2^(XLEN+1)-byte NAPOT range
141 0111...1111 2^(XLEN+2)-byte NAPOT range
149 target_ulong t1
= ctz64(~a
);
150 target_ulong base
= (a
& ~(((target_ulong
)1 << t1
) - 1)) << 2;
151 target_ulong range
= ((target_ulong
)1 << (t1
+ 3)) - 1;
157 void pmp_update_rule_addr(CPURISCVState
*env
, uint32_t pmp_index
)
159 uint8_t this_cfg
= env
->pmp_state
.pmp
[pmp_index
].cfg_reg
;
160 target_ulong this_addr
= env
->pmp_state
.pmp
[pmp_index
].addr_reg
;
161 target_ulong prev_addr
= 0u;
162 target_ulong sa
= 0u;
163 target_ulong ea
= 0u;
165 if (pmp_index
>= 1u) {
166 prev_addr
= env
->pmp_state
.pmp
[pmp_index
- 1].addr_reg
;
169 switch (pmp_get_a_field(this_cfg
)) {
176 sa
= prev_addr
<< 2; /* shift up from [xx:0] to [xx+2:2] */
177 ea
= (this_addr
<< 2) - 1u;
181 sa
= this_addr
<< 2; /* shift up from [xx:0] to [xx+2:2] */
185 case PMP_AMATCH_NAPOT
:
186 pmp_decode_napot(this_addr
, &sa
, &ea
);
195 env
->pmp_state
.addr
[pmp_index
].sa
= sa
;
196 env
->pmp_state
.addr
[pmp_index
].ea
= ea
;
199 void pmp_update_rule_nums(CPURISCVState
*env
)
203 env
->pmp_state
.num_rules
= 0;
204 for (i
= 0; i
< MAX_RISCV_PMPS
; i
++) {
205 const uint8_t a_field
=
206 pmp_get_a_field(env
->pmp_state
.pmp
[i
].cfg_reg
);
207 if (PMP_AMATCH_OFF
!= a_field
) {
208 env
->pmp_state
.num_rules
++;
213 /* Convert cfg/addr reg values here into simple 'sa' --> start address and 'ea'
214 * end address values.
215 * This function is called relatively infrequently whereas the check that
216 * an address is within a pmp rule is called often, so optimise that one
218 static void pmp_update_rule(CPURISCVState
*env
, uint32_t pmp_index
)
220 pmp_update_rule_addr(env
, pmp_index
);
221 pmp_update_rule_nums(env
);
224 static int pmp_is_in_range(CPURISCVState
*env
, int pmp_index
, target_ulong addr
)
228 if ((addr
>= env
->pmp_state
.addr
[pmp_index
].sa
)
229 && (addr
<= env
->pmp_state
.addr
[pmp_index
].ea
)) {
239 * Check if the address has required RWX privs when no PMP entry is matched.
241 static bool pmp_hart_has_privs_default(CPURISCVState
*env
, target_ulong addr
,
242 target_ulong size
, pmp_priv_t privs
, pmp_priv_t
*allowed_privs
,
247 if (riscv_feature(env
, RISCV_FEATURE_EPMP
)) {
248 if (MSECCFG_MMWP_ISSET(env
)) {
250 * The Machine Mode Whitelist Policy (mseccfg.MMWP) is set
251 * so we default to deny all, even for M-mode.
255 } else if (MSECCFG_MML_ISSET(env
)) {
257 * The Machine Mode Lockdown (mseccfg.MML) bit is set
258 * so we can only execute code in M-mode with an applicable
259 * rule. Other modes are disabled.
261 if (mode
== PRV_M
&& !(privs
& PMP_EXEC
)) {
263 *allowed_privs
= PMP_READ
| PMP_WRITE
;
273 if ((!riscv_feature(env
, RISCV_FEATURE_PMP
)) || (mode
== PRV_M
)) {
275 * Privileged spec v1.10 states if HW doesn't implement any PMP entry
276 * or no PMP entry matches an M-Mode access, the access succeeds.
279 *allowed_privs
= PMP_READ
| PMP_WRITE
| PMP_EXEC
;
282 * Other modes are not allowed to succeed if they don't * match a rule,
283 * but there are rules. We've checked for no rule earlier in this
299 * Check if the address has required RWX privs to complete desired operation
301 bool pmp_hart_has_privs(CPURISCVState
*env
, target_ulong addr
,
302 target_ulong size
, pmp_priv_t privs
, pmp_priv_t
*allowed_privs
,
311 /* Short cut if no rules */
312 if (0 == pmp_get_num_rules(env
)) {
313 return pmp_hart_has_privs_default(env
, addr
, size
, privs
,
314 allowed_privs
, mode
);
318 if (riscv_feature(env
, RISCV_FEATURE_MMU
)) {
320 * If size is unknown (0), assume that all bytes
321 * from addr to the end of the page will be accessed.
323 pmp_size
= -(addr
| TARGET_PAGE_MASK
);
325 pmp_size
= sizeof(target_ulong
);
331 /* 1.10 draft priv spec states there is an implicit order
333 for (i
= 0; i
< MAX_RISCV_PMPS
; i
++) {
334 s
= pmp_is_in_range(env
, i
, addr
);
335 e
= pmp_is_in_range(env
, i
, addr
+ pmp_size
- 1);
337 /* partially inside */
339 qemu_log_mask(LOG_GUEST_ERROR
,
340 "pmp violation - access is partially inside\n");
346 const uint8_t a_field
=
347 pmp_get_a_field(env
->pmp_state
.pmp
[i
].cfg_reg
);
350 * Convert the PMP permissions to match the truth table in the
353 const uint8_t epmp_operation
=
354 ((env
->pmp_state
.pmp
[i
].cfg_reg
& PMP_LOCK
) >> 4) |
355 ((env
->pmp_state
.pmp
[i
].cfg_reg
& PMP_READ
) << 2) |
356 (env
->pmp_state
.pmp
[i
].cfg_reg
& PMP_WRITE
) |
357 ((env
->pmp_state
.pmp
[i
].cfg_reg
& PMP_EXEC
) >> 2);
359 if (((s
+ e
) == 2) && (PMP_AMATCH_OFF
!= a_field
)) {
361 * If the PMP entry is not off and the address is in range,
364 if (!MSECCFG_MML_ISSET(env
)) {
366 * If mseccfg.MML Bit is not set, do pmp priv check
367 * This will always apply to regular PMP.
369 *allowed_privs
= PMP_READ
| PMP_WRITE
| PMP_EXEC
;
370 if ((mode
!= PRV_M
) || pmp_is_locked(env
, i
)) {
371 *allowed_privs
&= env
->pmp_state
.pmp
[i
].cfg_reg
;
375 * If mseccfg.MML Bit set, do the enhanced pmp priv check
378 switch (epmp_operation
) {
391 *allowed_privs
= PMP_READ
| PMP_WRITE
;
395 *allowed_privs
= PMP_EXEC
;
399 *allowed_privs
= PMP_READ
| PMP_EXEC
;
403 *allowed_privs
= PMP_READ
;
406 g_assert_not_reached();
409 switch (epmp_operation
) {
421 *allowed_privs
= PMP_EXEC
;
426 *allowed_privs
= PMP_READ
;
430 *allowed_privs
= PMP_READ
| PMP_WRITE
;
433 *allowed_privs
= PMP_READ
| PMP_EXEC
;
436 *allowed_privs
= PMP_READ
| PMP_WRITE
| PMP_EXEC
;
439 g_assert_not_reached();
444 ret
= ((privs
& *allowed_privs
) == privs
);
449 /* No rule matched */
451 return pmp_hart_has_privs_default(env
, addr
, size
, privs
,
452 allowed_privs
, mode
);
455 return ret
== 1 ? true : false;
459 * Handle a write to a pmpcfg CSR
461 void pmpcfg_csr_write(CPURISCVState
*env
, uint32_t reg_index
,
466 int pmpcfg_nums
= 2 << riscv_cpu_mxl(env
);
468 trace_pmpcfg_csr_write(env
->mhartid
, reg_index
, val
);
470 for (i
= 0; i
< pmpcfg_nums
; i
++) {
471 cfg_val
= (val
>> 8 * i
) & 0xff;
472 pmp_write_cfg(env
, (reg_index
* 4) + i
, cfg_val
);
475 /* If PMP permission of any addr has been changed, flush TLB pages. */
476 tlb_flush(env_cpu(env
));
481 * Handle a read from a pmpcfg CSR
483 target_ulong
pmpcfg_csr_read(CPURISCVState
*env
, uint32_t reg_index
)
486 target_ulong cfg_val
= 0;
487 target_ulong val
= 0;
488 int pmpcfg_nums
= 2 << riscv_cpu_mxl(env
);
490 for (i
= 0; i
< pmpcfg_nums
; i
++) {
491 val
= pmp_read_cfg(env
, (reg_index
* 4) + i
);
492 cfg_val
|= (val
<< (i
* 8));
494 trace_pmpcfg_csr_read(env
->mhartid
, reg_index
, cfg_val
);
501 * Handle a write to a pmpaddr CSR
503 void pmpaddr_csr_write(CPURISCVState
*env
, uint32_t addr_index
,
506 trace_pmpaddr_csr_write(env
->mhartid
, addr_index
, val
);
508 if (addr_index
< MAX_RISCV_PMPS
) {
510 * In TOR mode, need to check the lock bit of the next pmp
511 * (if there is a next).
513 if (addr_index
+ 1 < MAX_RISCV_PMPS
) {
514 uint8_t pmp_cfg
= env
->pmp_state
.pmp
[addr_index
+ 1].cfg_reg
;
516 if (pmp_cfg
& PMP_LOCK
&&
517 PMP_AMATCH_TOR
== pmp_get_a_field(pmp_cfg
)) {
518 qemu_log_mask(LOG_GUEST_ERROR
,
519 "ignoring pmpaddr write - pmpcfg + 1 locked\n");
524 if (!pmp_is_locked(env
, addr_index
)) {
525 env
->pmp_state
.pmp
[addr_index
].addr_reg
= val
;
526 pmp_update_rule(env
, addr_index
);
528 qemu_log_mask(LOG_GUEST_ERROR
,
529 "ignoring pmpaddr write - locked\n");
532 qemu_log_mask(LOG_GUEST_ERROR
,
533 "ignoring pmpaddr write - out of bounds\n");
539 * Handle a read from a pmpaddr CSR
541 target_ulong
pmpaddr_csr_read(CPURISCVState
*env
, uint32_t addr_index
)
543 target_ulong val
= 0;
545 if (addr_index
< MAX_RISCV_PMPS
) {
546 val
= env
->pmp_state
.pmp
[addr_index
].addr_reg
;
547 trace_pmpaddr_csr_read(env
->mhartid
, addr_index
, val
);
549 qemu_log_mask(LOG_GUEST_ERROR
,
550 "ignoring pmpaddr read - out of bounds\n");
557 * Handle a write to a mseccfg CSR
559 void mseccfg_csr_write(CPURISCVState
*env
, target_ulong val
)
563 trace_mseccfg_csr_write(env
->mhartid
, val
);
565 /* RLB cannot be enabled if it's already 0 and if any regions are locked */
566 if (!MSECCFG_RLB_ISSET(env
)) {
567 for (i
= 0; i
< MAX_RISCV_PMPS
; i
++) {
568 if (pmp_is_locked(env
, i
)) {
576 val
|= (env
->mseccfg
& (MSECCFG_MMWP
| MSECCFG_MML
));
582 * Handle a read from a mseccfg CSR
584 target_ulong
mseccfg_csr_read(CPURISCVState
*env
)
586 trace_mseccfg_csr_read(env
->mhartid
, env
->mseccfg
);
591 * Calculate the TLB size if the start address or the end address of
592 * PMP entry is presented in the TLB page.
594 static target_ulong
pmp_get_tlb_size(CPURISCVState
*env
, int pmp_index
,
595 target_ulong tlb_sa
, target_ulong tlb_ea
)
597 target_ulong pmp_sa
= env
->pmp_state
.addr
[pmp_index
].sa
;
598 target_ulong pmp_ea
= env
->pmp_state
.addr
[pmp_index
].ea
;
600 if (pmp_sa
>= tlb_sa
&& pmp_ea
<= tlb_ea
) {
601 return pmp_ea
- pmp_sa
+ 1;
604 if (pmp_sa
>= tlb_sa
&& pmp_sa
<= tlb_ea
&& pmp_ea
>= tlb_ea
) {
605 return tlb_ea
- pmp_sa
+ 1;
608 if (pmp_ea
<= tlb_ea
&& pmp_ea
>= tlb_sa
&& pmp_sa
<= tlb_sa
) {
609 return pmp_ea
- tlb_sa
+ 1;
616 * Check is there a PMP entry which range covers this page. If so,
617 * try to find the minimum granularity for the TLB size.
619 bool pmp_is_range_in_tlb(CPURISCVState
*env
, hwaddr tlb_sa
,
620 target_ulong
*tlb_size
)
624 target_ulong tlb_ea
= (tlb_sa
+ TARGET_PAGE_SIZE
- 1);
626 for (i
= 0; i
< MAX_RISCV_PMPS
; i
++) {
627 val
= pmp_get_tlb_size(env
, i
, tlb_sa
, tlb_ea
);
629 if (*tlb_size
== 0 || *tlb_size
> val
) {
635 if (*tlb_size
!= 0) {
643 * Convert PMP privilege to TLB page privilege.
645 int pmp_priv_to_page_prot(pmp_priv_t pmp_priv
)
649 if (pmp_priv
& PMP_READ
) {
652 if (pmp_priv
& PMP_WRITE
) {
655 if (pmp_priv
& PMP_EXEC
) {