1 #ifndef __CLKSOURCE_TIMER_SP804_H
2 #define __CLKSOURCE_TIMER_SP804_H
6 int __sp804_clocksource_and_sched_clock_init(void __iomem *,
7 const char *, struct clk *, int);
8 int __sp804_clockevents_init(void __iomem *, unsigned int,
9 struct clk *, const char *);
10 void sp804_timer_disable(void __iomem *);
12 static inline void sp804_clocksource_init(void __iomem *base, const char *name)
14 __sp804_clocksource_and_sched_clock_init(base, name, NULL, 0);
17 static inline void sp804_clocksource_and_sched_clock_init(void __iomem *base,
20 __sp804_clocksource_and_sched_clock_init(base, name, NULL, 1);
23 static inline void sp804_clockevents_init(void __iomem *base, unsigned int irq, const char *name)
25 __sp804_clockevents_init(base, irq, NULL, name);