1 #ifndef __CLKSOURCE_TIMER_SP804_H
2 #define __CLKSOURCE_TIMER_SP804_H
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
*);
12 static inline void sp804_clocksource_init(void __iomem
*base
, const char *name
)
14 __sp804_clocksource_and_sched_clock_init(base
, name
, NULL
, 0);
17 static inline void sp804_clocksource_and_sched_clock_init(void __iomem
*base
,
20 __sp804_clocksource_and_sched_clock_init(base
, name
, NULL
, 1);
23 static inline void sp804_clockevents_init(void __iomem
*base
, unsigned int irq
, const char *name
)
25 __sp804_clockevents_init(base
, irq
, NULL
, name
);