1 void sp804_clocksource_init(void __iomem *);
2 void sp804_clockevents_init(void __iomem *, unsigned int);
3