xref: /rk3399_ARM-atf/plat/st/stm32mp1/include/stm32mp1_private.h (revision 4353bb20cc8937a5d540a06c4a8fe7ee880fc3ca)
1 /*
2  * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef __STM32MP1_PRIVATE_H__
8 #define __STM32MP1_PRIVATE_H__
9 
10 void stm32mp1_io_setup(void);
11 void configure_mmu(void);
12 
13 void stm32mp1_save_boot_ctx_address(uintptr_t address);
14 uintptr_t stm32mp1_get_boot_ctx_address(void);
15 
16 #endif /* __STM32MP1_PRIVATE_H__ */
17