1 /* 2 * Copyright (c) 2013-2019, 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 <drivers/generic_delay_timer.h> 9 #include <lib/mmio.h> 10 #include <plat/arm/common/plat_arm.h> 11 #include <plat/common/platform.h> 12 #include <platform_def.h> 13 14 #include "fvp_private.h" 15 bl2_early_platform_setup2(u_register_t arg0,u_register_t arg1,u_register_t arg2,u_register_t arg3)16void bl2_early_platform_setup2(u_register_t arg0, u_register_t arg1, u_register_t arg2, u_register_t arg3) 17 { 18 arm_bl2_early_platform_setup((uintptr_t)arg0, (meminfo_t *)arg1); 19 20 /* Initialize the platform config for future decision making */ 21 fvp_config_setup(); 22 } 23 bl2_platform_setup(void)24void bl2_platform_setup(void) 25 { 26 arm_bl2_platform_setup(); 27 28 /* Initialize System level generic or SP804 timer */ 29 fvp_timer_init(); 30 } 31