timer-sp.h 478 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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);
}

15
void sp804_clockevents_init(void __iomem *, unsigned int, const char *);