diff options
Diffstat (limited to 'drivers/delay_timer/generic_delay_timer.c')
| -rw-r--r-- | drivers/delay_timer/generic_delay_timer.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/delay_timer/generic_delay_timer.c b/drivers/delay_timer/generic_delay_timer.c index 6a9d3147..8a36c8ab 100644 --- a/drivers/delay_timer/generic_delay_timer.c +++ b/drivers/delay_timer/generic_delay_timer.c @@ -9,6 +9,7 @@ #include <bl_common.h> #include <debug.h> #include <delay_timer.h> +#include <generic_delay_timer.h> #include <platform.h> /* Ticks elapsed in one second by a signal of 1 MHz */ |