1 /*
2  * Copyright (c) 2021, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef XLAT_MPU_H
8 #define XLAT_MPU_H
9 
10 #ifndef __ASSEMBLER__
11 
12 #include <lib/cassert.h>
13 
14 #define XLAT_TABLES_LIB_V2	1
15 
16 void enable_mpu_el2(unsigned int flags);
17 void enable_mpu_direct_el2(unsigned int flags);
18 
19 /*
20  * Function to wipe clean and disable all MPU regions.  This function expects
21  * that the MPU has already been turned off, and caching concerns addressed,
22  * but it nevertheless also explicitly turns off the MPU.
23  */
24 void clear_all_mpu_regions(void);
25 
26 #endif /* __ASSEMBLER__ */
27 #endif /* XLAT_MPU_H */
28