2022-04-07 05:03:12 +08:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2022 BayLibre, SAS
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef PMP_H_
|
|
|
|
#define PMP_H_
|
|
|
|
|
|
|
|
void z_riscv_pmp_init(void);
|
2022-04-07 06:44:43 +08:00
|
|
|
void z_riscv_pmp_stackguard_prepare(struct k_thread *thread);
|
|
|
|
void z_riscv_pmp_stackguard_enable(struct k_thread *thread);
|
2022-04-07 09:30:23 +08:00
|
|
|
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);
|
2022-04-07 05:03:12 +08:00
|
|
|
|
|
|
|
#endif /* PMP_H_ */
|