2022-04-06 23:03:12 +02: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 00:44:43 +02:00
|
|
|
void z_riscv_pmp_stackguard_prepare(struct k_thread *thread);
|
|
|
|
void z_riscv_pmp_stackguard_enable(struct k_thread *thread);
|
2022-04-07 03:30:23 +02: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-06 23:03:12 +02:00
|
|
|
|
|
|
|
#endif /* PMP_H_ */
|