1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __CLKSOURCE_TIMER_SP804_H
 3#define __CLKSOURCE_TIMER_SP804_H
 4
 5struct clk;
 6
 7int __sp804_clocksource_and_sched_clock_init(void __iomem *,
 8					     const char *, struct clk *, int);
 9int __sp804_clockevents_init(void __iomem *, unsigned int,
10			     struct clk *, const char *);
11void sp804_timer_disable(void __iomem *);
12
13static inline void sp804_clocksource_init(void __iomem *base, const char *name)
14{
15	__sp804_clocksource_and_sched_clock_init(base, name, NULL, 0);
16}
17
18static inline void sp804_clocksource_and_sched_clock_init(void __iomem *base,
19							  const char *name)
20{
21	__sp804_clocksource_and_sched_clock_init(base, name, NULL, 1);
22}
23
24static inline void sp804_clockevents_init(void __iomem *base, unsigned int irq, const char *name)
25{
26	__sp804_clockevents_init(base, irq, NULL, name);
27
28}
29#endif