diff options
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 */ |