1 /* 2 * Copyright (c) 2013-2020, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <drivers/arm/sp804_delay_timer.h> 8 #include <plat/arm/common/plat_arm.h> 9 #include <plat/common/platform.h> 10 #include <platform_def.h> 11 12 #include "fvp_private.h" 13 14 void bl2_early_platform_setup2(u_register_t arg0, u_register_t arg1, u_register_t arg2, u_register_t arg3) 15 { 16 arm_bl2_early_platform_setup((uintptr_t)arg0, (meminfo_t *)arg1); 17 18 /* Initialize the platform config for future decision making */ 19 fvp_config_setup(); 20 } 21 22 void bl2_platform_setup(void) 23 { 24 arm_bl2_platform_setup(); 25 26 /* Initialize System level generic or SP804 timer */ 27 fvp_timer_init(); 28 } 29