diff options
Diffstat (limited to 'include/plat/common')
-rw-r--r-- | include/plat/common/platform.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h index 76cc3c5f..ab93123c 100644 --- a/include/plat/common/platform.h +++ b/include/plat/common/platform.h @@ -182,7 +182,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) @@ -192,6 +192,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__ */ |