1 void __sp804_clocksource_and_sched_clock_init(void __iomem *,
4 static inline void sp804_clocksource_init(void __iomem *base, const char *name)
6 __sp804_clocksource_and_sched_clock_init(base, name, 0);
9 static inline void sp804_clocksource_and_sched_clock_init(void __iomem *base,
12 __sp804_clocksource_and_sched_clock_init(base, name, 1);
15 void sp804_clockevents_init(void __iomem *, unsigned int, const char *);