13fc4124cSDan Handley /* 2*1b597c22SAlexei Fedorov * Copyright (c) 2013-2019, 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> 809d40e0eSAntonio Nino Diaz #include <drivers/generic_delay_timer.h> 909d40e0eSAntonio Nino Diaz #include <lib/mmio.h> 10bd9344f6SAntonio Nino Diaz #include <plat/arm/common/plat_arm.h> 1109d40e0eSAntonio Nino Diaz #include <plat/common/platform.h> 12234bc7f8SAntonio Nino Diaz #include <platform_def.h> 1309d40e0eSAntonio Nino Diaz 143fc4124cSDan Handley #include "fvp_private.h" 153fc4124cSDan Handley 160c306cc0SSoby Mathew void bl2_early_platform_setup2(u_register_t arg0, u_register_t arg1, u_register_t arg2, u_register_t arg3) 173fc4124cSDan Handley { 18cab0b5b0SSoby Mathew arm_bl2_early_platform_setup((uintptr_t)arg0, (meminfo_t *)arg1); 193fc4124cSDan Handley 203fc4124cSDan Handley /* Initialize the platform config for future decision making */ 213fc4124cSDan Handley fvp_config_setup(); 223fc4124cSDan Handley } 23b49b3221SRyan Harkin 24b49b3221SRyan Harkin void bl2_platform_setup(void) 25b49b3221SRyan Harkin { 26b49b3221SRyan Harkin arm_bl2_platform_setup(); 27b49b3221SRyan Harkin 28*1b597c22SAlexei Fedorov /* Initialize System level generic or SP804 timer */ 29*1b597c22SAlexei Fedorov fvp_timer_init(); 30b49b3221SRyan Harkin } 31