/* | |
* 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_ */ |