xref: /rk3399_ARM-atf/include/drivers/generic_delay_timer.h (revision 82cb2c1ad9897473743f08437d0a3995bed561b9) 
10bcedb22SAntonio Nino Diaz /*
20bcedb22SAntonio Nino Diaz  * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved.
30bcedb22SAntonio Nino Diaz  *
4*82cb2c1aSdp-arm  * SPDX-License-Identifier: BSD-3-Clause
50bcedb22SAntonio Nino Diaz  */
60bcedb22SAntonio Nino Diaz 
70bcedb22SAntonio Nino Diaz #ifndef __GENERIC_DELAY_TIMER_H__
80bcedb22SAntonio Nino Diaz #define __GENERIC_DELAY_TIMER_H__
90bcedb22SAntonio Nino Diaz 
100bcedb22SAntonio Nino Diaz #include <stdint.h>
110bcedb22SAntonio Nino Diaz 
120bcedb22SAntonio Nino Diaz void generic_delay_timer_init_args(uint32_t mult, uint32_t div);
130bcedb22SAntonio Nino Diaz 
140bcedb22SAntonio Nino Diaz void generic_delay_timer_init(void);
150bcedb22SAntonio Nino Diaz 
160bcedb22SAntonio Nino Diaz #endif /* __GENERIC_DELAY_TIMER_H__ */
17