| Antonio Nino Diaz | bcd79b2 | 2016-05-18 10:37:25 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Antonio Nino Diaz | bcd79b2 | 2016-05-18 10:37:25 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef GENERIC_DELAY_TIMER_H |
| 8 | #define GENERIC_DELAY_TIMER_H |
| Antonio Nino Diaz | bcd79b2 | 2016-05-18 10:37:25 +0100 | [diff] [blame] | 9 | |
| 10 | #include <stdint.h> |
| 11 | |
| 12 | void generic_delay_timer_init_args(uint32_t mult, uint32_t div); |
| 13 | |
| 14 | void generic_delay_timer_init(void); |
| 15 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 16 | #endif /* GENERIC_DELAY_TIMER_H */ |