13fc4124cSDan Handley /* 2*e6937287SZelalem * Copyright (c) 2013-2020, ARM Limited and Contributors. All rights reserved. 33fc4124cSDan Handley * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 53fc4124cSDan Handley */ 63fc4124cSDan Handley 709d40e0eSAntonio Nino Diaz #include <drivers/arm/sp804_delay_timer.h> 8bd9344f6SAntonio Nino Diaz #include <plat/arm/common/plat_arm.h> 909d40e0eSAntonio Nino Diaz #include <plat/common/platform.h> 10234bc7f8SAntonio Nino Diaz #include <platform_def.h> 1109d40e0eSAntonio Nino Diaz 123fc4124cSDan Handley #include "fvp_private.h" 133fc4124cSDan Handley 140c306cc0SSoby Mathew void bl2_early_platform_setup2(u_register_t arg0, u_register_t arg1, u_register_t arg2, u_register_t arg3) 153fc4124cSDan Handley { 16cab0b5b0SSoby Mathew arm_bl2_early_platform_setup((uintptr_t)arg0, (meminfo_t *)arg1); 173fc4124cSDan Handley 183fc4124cSDan Handley /* Initialize the platform config for future decision making */ 193fc4124cSDan Handley fvp_config_setup(); 203fc4124cSDan Handley } 21b49b3221SRyan Harkin 22b49b3221SRyan Harkin void bl2_platform_setup(void) 23b49b3221SRyan Harkin { 24b49b3221SRyan Harkin arm_bl2_platform_setup(); 25b49b3221SRyan Harkin 261b597c22SAlexei Fedorov /* Initialize System level generic or SP804 timer */ 271b597c22SAlexei Fedorov fvp_timer_init(); 28b49b3221SRyan Harkin } 29