xref: /rk3399_ARM-atf/include/drivers/generic_delay_timer.h (revision 9d068f66b15e644df4961b74b965323c20f21f14) 
10bcedb22SAntonio Nino Diaz /*
20bcedb22SAntonio Nino Diaz  * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved.
30bcedb22SAntonio Nino Diaz  *
482cb2c1aSdp-arm  * SPDX-License-Identifier: BSD-3-Clause
50bcedb22SAntonio Nino Diaz  */
60bcedb22SAntonio Nino Diaz 
7*c3cf06f1SAntonio Nino Diaz #ifndef GENERIC_DELAY_TIMER_H
8*c3cf06f1SAntonio 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 
16*c3cf06f1SAntonio Nino Diaz #endif /* GENERIC_DELAY_TIMER_H */
17