kernel/include/clocksource/timer-sp804.h

   1 #ifndef __CLKSOURCE_TIMER_SP804_H
   2 #define __CLKSOURCE_TIMER_SP804_H
   3
   4 struct clk;
   5
   6 void __sp804_clocksource_and_sched_clock_init(void __iomem *,
   7                                               const char *, struct clk *, int);
   8 void __sp804_clockevents_init(void __iomem *, unsigned int,
   9                               struct clk *, const char *);
  10 void sp804_timer_disable(void __iomem *);
  11
  12 static inline void sp804_clocksource_init(void __iomem *base, const char *name)
  13 {
  14         __sp804_clocksource_and_sched_clock_init(base, name, NULL, 0);
  15 }
  16
  17 static inline void sp804_clocksource_and_sched_clock_init(void __iomem *base,
  18                                                           const char *name)
  19 {
  20         __sp804_clocksource_and_sched_clock_init(base, name, NULL, 1);
  21 }
  22
  23 static inline void sp804_clockevents_init(void __iomem *base, unsigned int irq, const char *name)
  24 {
  25         __sp804_clockevents_init(base, irq, NULL, name);
  26
  27 }
  28 #endif