timer-sp.h 118 Bytes
Newer Older
1
void sp804_clocksource_init(void __iomem *, const char *);
2
void sp804_clockevents_init(void __iomem *, unsigned int);