text: void __sp804_clocksource_and_sched_clock_init(void __iomem *,
  					      const char *, int);
  
  static inline void sp804_clocksource_init(void __iomem *base, const char *name)
  {
  	__sp804_clocksource_and_sched_clock_init(base, name, 0);
  }
  
  static inline void sp804_clocksource_and_sched_clock_init(void __iomem *base,
  							  const char *name)
  {
  	__sp804_clocksource_and_sched_clock_init(base, name, 1);
  }
  
  void sp804_clockevents_init(void __iomem *, unsigned int, const char *);
  