3 void __sp804_clocksource_and_sched_clock_init(void __iomem *,
4 const char *, struct clk *, int);
5 void __sp804_clockevents_init(void __iomem *, unsigned int,
6 struct clk *, const char *);
7 void sp804_timer_disable(void __iomem *);
9 static inline void sp804_clocksource_init(void __iomem *base, const char *name)
11 __sp804_clocksource_and_sched_clock_init(base, name, NULL, 0);
14 static inline void sp804_clocksource_and_sched_clock_init(void __iomem *base,
17 __sp804_clocksource_and_sched_clock_init(base, name, NULL, 1);
20 static inline void sp804_clockevents_init(void __iomem *base, unsigned int irq, const char *name)
22 __sp804_clockevents_init(base, irq, NULL, name);