diff options
Diffstat (limited to 'drivers')
| -rw-r--r-- | drivers/delay_timer/generic_delay_timer.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/drivers/delay_timer/generic_delay_timer.c b/drivers/delay_timer/generic_delay_timer.c index 4b67ed0d1..3d0a11f59 100644 --- a/drivers/delay_timer/generic_delay_timer.c +++ b/drivers/delay_timer/generic_delay_timer.c @@ -1,11 +1,12 @@ /* - * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved. + * Copyright (c) 2016-2019, ARM Limited and Contributors. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */ #include <assert.h> +#include <arch_features.h> #include <arch_helpers.h> #include <common/bl_common.h> #include <common/debug.h> @@ -43,6 +44,8 @@ void generic_delay_timer_init_args(uint32_t mult, uint32_t div) void generic_delay_timer_init(void) { + assert(is_armv7_gentimer_present()); + /* Value in ticks */ unsigned int mult = MHZ_TICKS_PER_SEC; |