xref: /arm-trusted-firmware/include/drivers/generic_delay_timer.h (revision 91f16700b400a8c0651d24a598fc48ee2997a0d7) 
1*91f16700Schasinglulu /*
2*91f16700Schasinglulu  * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved.
3*91f16700Schasinglulu  *
4*91f16700Schasinglulu  * SPDX-License-Identifier: BSD-3-Clause
5*91f16700Schasinglulu  */
6*91f16700Schasinglulu 
7*91f16700Schasinglulu #ifndef GENERIC_DELAY_TIMER_H
8*91f16700Schasinglulu #define GENERIC_DELAY_TIMER_H
9*91f16700Schasinglulu 
10*91f16700Schasinglulu #include <stdint.h>
11*91f16700Schasinglulu 
12*91f16700Schasinglulu void generic_delay_timer_init_args(uint32_t mult, uint32_t div);
13*91f16700Schasinglulu 
14*91f16700Schasinglulu void generic_delay_timer_init(void);
15*91f16700Schasinglulu 
16*91f16700Schasinglulu #endif /* GENERIC_DELAY_TIMER_H */
17