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 void bl2_el3_early_platform_setup(u_register_t arg0 __unused, 11 u_register_t arg1 __unused, 12 u_register_t arg2 __unused, 13 u_register_t arg3 __unused) 14 { 15 } 16 17 void bl2_platform_setup(void) 18 { 19 } 20 21 void bl2_el3_plat_arch_setup(void) 22 { 23 } 24