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