2 * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
4 * SPDX-License-Identifier: BSD-3-Clause
7 #include <drivers/arm/sp804_delay_timer.h>
8 #include <drivers/generic_delay_timer.h>
10 #include <plat/common/platform.h>
15 #include "fvp_private.h"
17 void bl2_early_platform_setup2(u_register_t arg0
, u_register_t arg1
, u_register_t arg2
, u_register_t arg3
)
19 arm_bl2_early_platform_setup((uintptr_t)arg0
, (meminfo_t
*)arg1
);
21 /* Initialize the platform config for future decision making */
25 void bl2_platform_setup(void)
27 arm_bl2_platform_setup();
29 #if FVP_USE_SP804_TIMER
30 /* Enable the clock override for SP804 timer 0, which means that no
31 * clock dividers are applied and the raw (35 MHz) clock will be used */
32 mmio_write_32(V2M_SP810_BASE
, FVP_SP810_CTRL_TIM0_OV
);
34 /* Initialize delay timer driver using SP804 dual timer 0 */
35 sp804_timer_init(V2M_SP804_TIMER0_BASE
,
36 SP804_TIMER_CLKMULT
, SP804_TIMER_CLKDIV
);
38 generic_delay_timer_init();
39 #endif /* FVP_USE_SP804_TIMER */