1void __sp804_clocksource_and_sched_clock_init(void __iomem *,
 2					      const char *, int);
 3
 4static inline void sp804_clocksource_init(void __iomem *base, const char *name)
 5{
 6	__sp804_clocksource_and_sched_clock_init(base, name, 0);
 7}
 8
 9static inline void sp804_clocksource_and_sched_clock_init(void __iomem *base,
10							  const char *name)
11{
12	__sp804_clocksource_and_sched_clock_init(base, name, 1);
13}
14
15void sp804_clockevents_init(void __iomem *, unsigned int, const char *);