Merge branch 'stable/vga.support' into stable/drivers
[pandora-kernel.git] / arch / arm / include / asm / hardware / timer-sp.h
1 void sp804_clocksource_init(void __iomem *, const char *);
2 void sp804_clockevents_init(void __iomem *, unsigned int, const char *);