1 /*
2  * Copyright (c) 2022 BayLibre, SAS
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef PMP_H_
8 #define PMP_H_
9 
10 void z_riscv_pmp_init(void);
11 void z_riscv_pmp_stackguard_prepare(struct k_thread *thread);
12 void z_riscv_pmp_stackguard_enable(struct k_thread *thread);
13 void z_riscv_pmp_usermode_init(struct k_thread *thread);
14 void z_riscv_pmp_usermode_prepare(struct k_thread *thread);
15 void z_riscv_pmp_usermode_enable(struct k_thread *thread);
16 
17 #endif /* PMP_H_ */
18