7a55bda7e1
The idea here is to compute the PMP register set on demand i.e. upon scheduling in the affected threads, and only if changes occurred. A simple sequence number is used to stay in sync with the latest update. Signed-off-by: Nicolas Pitre <npitre@baylibre.com>
18 lines
466 B
C
18 lines
466 B
C
/*
|
|
* Copyright (c) 2022 BayLibre, SAS
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#ifndef PMP_H_
|
|
#define PMP_H_
|
|
|
|
void z_riscv_pmp_init(void);
|
|
void z_riscv_pmp_stackguard_prepare(struct k_thread *thread);
|
|
void z_riscv_pmp_stackguard_enable(struct k_thread *thread);
|
|
void z_riscv_pmp_usermode_init(struct k_thread *thread);
|
|
void z_riscv_pmp_usermode_prepare(struct k_thread *thread);
|
|
void z_riscv_pmp_usermode_enable(struct k_thread *thread);
|
|
|
|
#endif /* PMP_H_ */
|