LXR linux/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
   5struct clk;
   6
   7int __sp804_clocksource_and_sched_clock_init(void __iomem *,
   8                                             const char *, struct clk *, int);
   9int __sp804_clockevents_init(void __iomem *, unsigned int,
  10                             struct clk *, const char *);
  11void sp804_timer_disable(void __iomem *);
  12
  13static 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
  18static 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
  24static 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
  30