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