1 /*
2  * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef SP804_DELAY_TIMER_H
8 #define SP804_DELAY_TIMER_H
9 
10 #include <stdint.h>
11 
12 #include <drivers/delay_timer.h>
13 
14 uint32_t sp804_get_timer_value(void);
15 
16 void sp804_timer_ops_init(uintptr_t base_addr, const timer_ops_t *ops);
17 
18 #define sp804_timer_init(base_addr, clk_mult, clk_div)			\
19 	do {								\
20 		static const timer_ops_t sp804_timer_ops = {		\
21 			sp804_get_timer_value,				\
22 			(clk_mult),					\
23 			(clk_div)					\
24 		};							\
25 		sp804_timer_ops_init((base_addr), &sp804_timer_ops);	\
26 	} while (0)
27 
28 #endif /* SP804_DELAY_TIMER_H */
29