diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-05-05 15:25:02 +0100 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-05-20 15:29:30 +0100 |
commit | 6704f425ddb2772bd9a2b9dacacbefcbb00dcf28 (patch) | |
tree | cc01a644b84f7e07215a4920c3053ce4ddfb3f50 /plat/rockchip/common/bl31_plat_setup.c | |
parent | 1d0b990e9d7e28fdf0de588815cd21d88c9fc2b7 (diff) | |
download | trusted-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.c | 3 |
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 */ |