xil_mpu.h

/******************************************************************************
* Copyright (c) 2014 - 2022 Xilinx, Inc.  All rights reserved.
* SPDX-License-Identifier: MIT
******************************************************************************/
 
/*****************************************************************************/
#ifndef XIL_MPU_H
#define XIL_MPU_H
 
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
#include "xil_types.h"
/***************************** Include Files *********************************/
 
/***************** Macros (Inline Functions) Definitions *********************/
#define MPU_REG_DISABLED        0U
#define MPU_REG_ENABLED         1U
#define MAX_POSSIBLE_MPU_REGS   16U
/**************************** Type Definitions *******************************/
struct XMpuConfig{
    u32 RegionStatus; /* Enabled or disabled */
    INTPTR BaseAddress;/* MPU region base address */
    u64 Size; /* MPU region size address */
    u32 Attribute; /* MPU region size attribute */
};
 
typedef struct XMpuConfig XMpu_Config[MAX_POSSIBLE_MPU_REGS];
 
extern XMpu_Config Mpu_Config;
/************************** Constant Definitions *****************************/
 
/************************** Variable Definitions *****************************/
 
/************************** Function Prototypes ******************************/
void Xil_SetTlbAttributes(INTPTR addr, u32 attrib);
void Xil_EnableMPU(void);
void Xil_DisableMPU(void);
u32 Xil_SetMPURegion(INTPTR addr, u64 size, u32 attrib);
u32 Xil_UpdateMPUConfig(u32 reg_num, INTPTR address, u32 size, u32 attrib);
void Xil_GetMPUConfig (XMpu_Config mpuconfig);
u32 Xil_GetNumOfFreeRegions (void);
u32 Xil_GetNextMPURegion(void);
u32 Xil_DisableMPURegionByRegNum (u32 reg_num);
u16 Xil_GetMPUFreeRegMask (void);
u32 Xil_SetMPURegionByRegNum (u32 reg_num, INTPTR addr, u64 size, u32 attrib);
void* Xil_MemMap(UINTPTR Physaddr, size_t size, u32 flags);
 
#ifdef __cplusplus
}
#endif /* __cplusplus */
 
#endif /* XIL_MPU_H */