/* | |
* Copyright (c) 2021, ARM Limited and Contributors. All rights reserved. | |
* | |
* SPDX-License-Identifier: BSD-3-Clause | |
*/ | |
#ifndef XLAT_MPU_H | |
#define XLAT_MPU_H | |
#ifndef __ASSEMBLER__ | |
#include <lib/cassert.h> | |
#define XLAT_TABLES_LIB_V2 1 | |
void enable_mpu_el2(unsigned int flags); | |
void enable_mpu_direct_el2(unsigned int flags); | |
/* | |
* Function to wipe clean and disable all MPU regions. This function expects | |
* that the MPU has already been turned off, and caching concerns addressed, | |
* but it nevertheless also explicitly turns off the MPU. | |
*/ | |
void clear_all_mpu_regions(void); | |
#endif /* __ASSEMBLER__ */ | |
#endif /* XLAT_MPU_H */ |