linux-vybrid_public/arch/arm/plat-versatile/include/plat/timer-sp.h

void sp804_clocksource_init(void __iomem *);
void sp804_clockevents_init(void __iomem *, unsigned int);