| #ifndef __CLKSOURCE_TIMER_SP804_H |
| #define __CLKSOURCE_TIMER_SP804_H |
| int __sp804_clocksource_and_sched_clock_init(void __iomem *, |
| const char *, struct clk *, int); |
| int __sp804_clockevents_init(void __iomem *, unsigned int, |
| struct clk *, const char *); |
| void sp804_timer_disable(void __iomem *); |
| static inline void sp804_clocksource_init(void __iomem *base, const char *name) |
| __sp804_clocksource_and_sched_clock_init(base, name, NULL, 0); |
| static inline void sp804_clocksource_and_sched_clock_init(void __iomem *base, |
| __sp804_clocksource_and_sched_clock_init(base, name, NULL, 1); |
| static inline void sp804_clockevents_init(void __iomem *base, unsigned int irq, const char *name) |
| __sp804_clockevents_init(base, irq, NULL, name); |