diff options
| author | danh-arm <dan.handley@arm.com> | 2016-05-24 16:12:08 +0100 |
|---|---|---|
| committer | danh-arm <dan.handley@arm.com> | 2016-05-24 16:12:08 +0100 |
| commit | e141aa0357fd4977ba874f4f86874e2cadc73498 (patch) | |
| tree | cc01a644b84f7e07215a4920c3053ce4ddfb3f50 /plat/rockchip/common/bl31_plat_setup.c | |
| parent | d1d716531db8d52101d9168a79d4b6acaef976fe (diff) | |
| parent | 6704f425ddb2772bd9a2b9dacacbefcbb00dcf28 (diff) | |
Merge pull request #625 from antonio-nino-diaz-arm/an/delay-timer-v2
Implement generic delay timer and use it on platforms
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 30fb5ac6..727a2c74 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 */ |