include/clocksource/timer-sp804.h

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