blob: 89636d18a3764ff1472a386d6b6911e958178293 [file] [log] [blame]
Achin Gupta4f6ad662013-10-25 09:08:21 +01001/*
Alexei Fedorov7131d832019-08-16 14:15:59 +01002 * Copyright (c) 2013-2019, ARM Limited and Contributors. All rights reserved.
Achin Gupta4f6ad662013-10-25 09:08:21 +01003 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Achin Gupta4f6ad662013-10-25 09:08:21 +01005 */
6
Antonio Nino Diaze0f90632018-12-14 00:18:21 +00007#include <drivers/arm/sp804_delay_timer.h>
8#include <drivers/generic_delay_timer.h>
9#include <lib/mmio.h>
Antonio Nino Diazbd7b7402019-01-25 14:30:04 +000010#include <plat/arm/common/plat_arm.h>
Antonio Nino Diaze0f90632018-12-14 00:18:21 +000011#include <plat/common/platform.h>
Antonio Nino Diaza320ecd2019-01-15 14:19:50 +000012#include <platform_def.h>
Antonio Nino Diaze0f90632018-12-14 00:18:21 +000013
Dan Handleyed6ff952014-05-14 17:44:19 +010014#include "fvp_private.h"
Achin Gupta4f6ad662013-10-25 09:08:21 +010015
Soby Mathew7d5a2e72018-01-10 15:59:31 +000016void bl2_early_platform_setup2(u_register_t arg0, u_register_t arg1, u_register_t arg2, u_register_t arg3)
Achin Gupta4f6ad662013-10-25 09:08:21 +010017{
Soby Mathew96a1c6b2018-01-15 14:45:33 +000018 arm_bl2_early_platform_setup((uintptr_t)arg0, (meminfo_t *)arg1);
Achin Gupta4f6ad662013-10-25 09:08:21 +010019
20 /* Initialize the platform config for future decision making */
Dan Handleyea451572014-05-15 14:53:30 +010021 fvp_config_setup();
Vikram Kanigirid8c9d262014-05-16 18:48:12 +010022}
Ryan Harkinf96fc8f2015-03-17 14:54:01 +000023
24void bl2_platform_setup(void)
25{
26 arm_bl2_platform_setup();
27
Alexei Fedorov7131d832019-08-16 14:15:59 +010028 /* Initialize System level generic or SP804 timer */
29 fvp_timer_init();
Ryan Harkinf96fc8f2015-03-17 14:54:01 +000030}