1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __CLKSOURCE_TIMER_SP804_H
3 #define __CLKSOURCE_TIMER_SP804_H
4
5 struct clk;
6
7 int __sp804_clocksource_and_sched_clock_init(void __iomem *,
8 const char *, struct clk *, int);
9 int __sp804_clockevents_init(void __iomem *, unsigned int,
10 struct clk *, const char *);
11 void sp804_timer_disable(void __iomem *);
12
sp804_clocksource_init(void __iomem * base,const char * name)13 static 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
sp804_clocksource_and_sched_clock_init(void __iomem * base,const char * name)18 static 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
sp804_clockevents_init(void __iomem * base,unsigned int irq,const char * name)24 static 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
30