mirror of
https://github.com/ARM-software/arm-trusted-firmware.git
synced 2025-08-18 21:11:11 +02:00
10a511ceaa
The DDR driver is under dual license, BSD and GPLv2. The configuration parameters are taken from device tree. Signed-off-by: Yann Gautier <yann.gautier@st.com> Signed-off-by: Patrick Delaunay <patrick.delaunay@st.com> Signed-off-by: Nicolas Le Bayon <nicolas.le.bayon@st.com> Signed-off-by: Lionel Debieve <lionel.debieve@st.com>
19 lines
433 B
C
19 lines
433 B
C
/*
|
|
* Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#ifndef __STM32MP1_PRIVATE_H__
|
|
#define __STM32MP1_PRIVATE_H__
|
|
|
|
void stm32mp1_io_setup(void);
|
|
void configure_mmu(void);
|
|
|
|
void stm32mp1_arch_security_setup(void);
|
|
|
|
void stm32mp1_save_boot_ctx_address(uintptr_t address);
|
|
uintptr_t stm32mp1_get_boot_ctx_address(void);
|
|
|
|
#endif /* __STM32MP1_PRIVATE_H__ */
|