diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/lib/aarch64/xlat_tables.h | 13 | ||||
| -rw-r--r-- | include/plat/common/platform.h | 4 |
2 files changed, 13 insertions, 4 deletions
diff --git a/include/lib/aarch64/xlat_tables.h b/include/lib/aarch64/xlat_tables.h index 8e0adc7f..2d4a211b 100644 --- a/include/lib/aarch64/xlat_tables.h +++ b/include/lib/aarch64/xlat_tables.h @@ -31,6 +31,14 @@ #ifndef __XLAT_TABLES_H__ #define __XLAT_TABLES_H__ + +/* + * Flags to override default values used to program system registers while + * enabling the MMU. + */ +#define DISABLE_DCACHE (1 << 0) + +#ifndef __ASSEMBLY__ #include <stdint.h> /* @@ -67,7 +75,8 @@ void mmap_add(const mmap_region_t *mm); void init_xlat_tables(void); -void enable_mmu_el1(void); -void enable_mmu_el3(void); +void enable_mmu_el1(uint32_t flags); +void enable_mmu_el3(uint32_t flags); +#endif /*__ASSEMBLY__*/ #endif /* __XLAT_TABLES_H__ */ diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h index 1eeaac27..4b73a097 100644 --- a/include/plat/common/platform.h +++ b/include/plat/common/platform.h @@ -180,7 +180,7 @@ unsigned int plat_get_aff_state(unsigned int, unsigned long); /******************************************************************************* * Optional BL3-1 functions (may be overridden) ******************************************************************************/ -void bl31_plat_enable_mmu(void); +void bl31_plat_enable_mmu(uint32_t flags); /******************************************************************************* * Mandatory BL3-2 functions (only if platform contains a BL3-2) @@ -190,6 +190,6 @@ void bl32_platform_setup(void); /******************************************************************************* * Optional BL3-2 functions (may be overridden) ******************************************************************************/ -void bl32_plat_enable_mmu(void); +void bl32_plat_enable_mmu(uint32_t flags); #endif /* __PLATFORM_H__ */ |