at v5.3 848 B view raw
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