mpu.h

#pragma once
 
#include <stdint.h>
#include <arch/mpu.h>
 
struct MPU_Registers;
 
void os_memory_protection_start();
 
int mpu_init_stack(int thread_id);
 
int mpu_restore(const MPU_State * hosted_state, const MPU_State * parent_state);
 
void os_memory_protection_stop();