2011-12-12 15:29:08 -06:00
|
|
|
void __sp804_clocksource_and_sched_clock_init(void __iomem *,
|
|
|
|
const char *, int);
|
|
|
|
|
|
|
|
static inline void sp804_clocksource_init(void __iomem *base, const char *name)
|
|
|
|
{
|
|
|
|
__sp804_clocksource_and_sched_clock_init(base, name, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void sp804_clocksource_and_sched_clock_init(void __iomem *base,
|
|
|
|
const char *name)
|
|
|
|
{
|
|
|
|
__sp804_clocksource_and_sched_clock_init(base, name, 1);
|
|
|
|
}
|
|
|
|
|
2011-05-12 15:31:13 +01:00
|
|
|
void sp804_clockevents_init(void __iomem *, unsigned int, const char *);
|