1 /*
2  * Copyright (c) 2023, STMicroelectronics - All Rights Reserved
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <cdefs.h>
8 #include <stdint.h>
9 
10 #include <stm32mp_common.h>
11 
bl2_el3_early_platform_setup(u_register_t arg0 __unused,u_register_t arg1 __unused,u_register_t arg2 __unused,u_register_t arg3 __unused)12 void bl2_el3_early_platform_setup(u_register_t arg0 __unused,
13 				  u_register_t arg1 __unused,
14 				  u_register_t arg2 __unused,
15 				  u_register_t arg3 __unused)
16 {
17 	stm32mp_setup_early_console();
18 }
19 
bl2_platform_setup(void)20 void bl2_platform_setup(void)
21 {
22 }
23 
bl2_el3_plat_arch_setup(void)24 void bl2_el3_plat_arch_setup(void)
25 {
26 }
27