aboutsummaryrefslogtreecommitdiff
path: root/plat/rockchip/common/bl31_plat_setup.c
diff options
context:
space:
mode:
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>2016-05-05 15:25:02 +0100
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>2016-05-20 15:29:30 +0100
commit6704f425ddb2772bd9a2b9dacacbefcbb00dcf28 (patch)
treecc01a644b84f7e07215a4920c3053ce4ddfb3f50 /plat/rockchip/common/bl31_plat_setup.c
parent1d0b990e9d7e28fdf0de588815cd21d88c9fc2b7 (diff)
downloadtrusted-firmware-a-6704f425ddb2772bd9a2b9dacacbefcbb00dcf28.tar.gz
Replace Rockchip delay timer by generic one
Use the generic delay timer instead of having a specific platform file for configuring it. Change-Id: Ifa68b9c97cd96ae1190cee74d22d729af95e4537
Diffstat (limited to 'plat/rockchip/common/bl31_plat_setup.c')
-rw-r--r--plat/rockchip/common/bl31_plat_setup.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/plat/rockchip/common/bl31_plat_setup.c b/plat/rockchip/common/bl31_plat_setup.c
index 30fb5ac64b..727a2c7439 100644
--- a/plat/rockchip/common/bl31_plat_setup.c
+++ b/plat/rockchip/common/bl31_plat_setup.c
@@ -33,6 +33,7 @@
#include <bl_common.h>
#include <console.h>
#include <debug.h>
+#include <generic_delay_timer.h>
#include <mmio.h>
#include <platform.h>
#include <plat_private.h>
@@ -126,7 +127,7 @@ void bl31_early_platform_setup(bl31_params_t *from_bl2,
******************************************************************************/
void bl31_platform_setup(void)
{
- plat_delay_timer_init();
+ generic_delay_timer_init();
plat_rockchip_soc_init();
/* Initialize the gic cpu and distributor interfaces */