arch/arm/include/asm/hardware/timer-sp.h

   1 void __sp804_clocksource_and_sched_clock_init(void __iomem *,
   2                                               const char *, int);
   3
   4 static inline void sp804_clocksource_init(void __iomem *base, const char *name)
   5 {
   6         __sp804_clocksource_and_sched_clock_init(base, name, 0);
   7 }
   8
   9 static 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
  15 void sp804_clockevents_init(void __iomem *, unsigned int, const char *);